FEIL PROPOSISJONER: KJENNETEGN OG EKSEMPLER - LITTERATUR - 2025

De feilaktige proposisjonene er logiske enheter med en sannhetsverdi null (falsk). Generelt sett er et forslag et språklig (setning) eller et matematisk uttrykk som dens sannhet eller falske kan sikres fra. Forslag er grunnlaget for logikk og utgjør et veldig spesifikt felt kjent som proposisjonell logikk.

På denne måten er hovedtrekk ved en proposisjon muligheten for å bli erklært i henhold til dens sannhetsverdi (falsk eller sann). For eksempel uttrykket Juan, gå til butikken! det representerer ikke et forslag fordi det mangler denne muligheten. I mellomtiden gikk setninger som Juan til butikken for å kjøpe eller Juan går i butikken.

Enkelt feil proposisjonseksempel

Nå, på det matematiske planet, er "10−4 = 6" og "1 + 1 = 3" proposisjoner. Den første saken handler om en sann proposisjon. For det andre er den andre delen av de feilaktige proposisjonene.

Så det som er viktig er ikke proposisjonen eller måten den blir presentert på, men dens sannhetsverdi. Hvis dette eksisterer, eksisterer også proposisjonen.

kjennetegn

Enkelt eller sammensatt

Feilaktige proposisjoner kan være enkle (de uttrykker bare en sannhetsverdi) eller sammensatte (de uttrykker flere sannhetsverdier). Dette avhenger av om komponentene dine påvirkes av kjettingelementer eller ikke. Disse relaterte elementene er kjent som kontakter eller logiske tilkoblinger.

Et eksempel på førstnevnte er feilaktige proposisjoner av typen: "Den hvite hesten er svart", "2 + 3 = 2555" eller "Alle fanger er uskyldige".

Av den andre typen tilsvarer forslag som "Kjøretøyet er svart eller det er rødt", "Hvis 2 + 3 = 6, så 3 + 8 = 6". I det siste observeres koblingen mellom minst to enkle proposisjoner.

Som med de sanne, er de falske sammenvevd med andre enkle forslag som kan være noen falske og andre sanne. Resultatet av analysen av alle disse proposisjonene fører til en sannhetsverdi som vil være representativ for kombinasjonen av alle involverte proposisjoner.

deklarativ

Feilaktige forslag er erklærende. Dette betyr at de alltid har en tilknyttet sannhetsverdi (falsk verdi).

Hvis du for eksempel har "x er større enn 2" eller "x = x", kan du ikke fastslå verdien av usannhet (eller sannferdighet) før du vet at "x" representerer. Derfor blir ingen av de to uttrykkene ansett som erklærende.

Manglende tvetydighet

De feilaktige proposisjonene har ingen tvetydighet. De er konstruert på en slik måte at de bare har en mulig tolkning. På denne måten er dens sannhetsverdi en fast og unik verdi.

På den annen side gjenspeiler denne mangelen på tvetydighet dens universalitet. Dermed kan disse være universelt negative, spesielt negative og eksistensielt negative:

• Alle planeter kretser rundt solen (universelt negative).
• Noen mennesker produserer klorofyll (spesielt negativ).
• Det er ingen landfugler (eksistensielt negative).

Med en eneste sannhetsverdi

Feilaktige proposisjoner har bare en sannhetsverdi, usann. De har ikke den sanne verdien samtidig. Hver gang den samme proposisjonen blir reist, vil dens verdi forbli falsk så lenge betingelsene det formuleres under ikke endres.

Mottakelig for å bli representert symbolsk

Feilaktige proposisjoner er mottakelige for å bli representert symbolsk. For dette formål tilordnes de første bokstavene i ordforrådet på en konvensjonell måte for å utpeke dem. I proposisjonell logikk symboliserer således små bokstavene a, b, c og påfølgende bokstaver forslag.

Når en proposisjon har fått en symbolsk bokstav, opprettholdes den gjennom hele analysen. Tilsvarende, tildelt den tilsvarende sannhetsverdien, vil innholdet i proposisjonen ikke lenger ha betydning. All påfølgende analyse vil være basert på symbolet og sannhetsverdien.

Bruk av kontakter eller logiske tilkoblinger

Gjennom bruk av koblinger (kontakter eller logiske tilkoblinger) kan flere enkle gale proposisjoner settes sammen og danne et sammensatt. Disse kontaktene er forbindelse (og), disjunksjon (eller), implikasjon (da), ekvivalens (hvis og bare hvis), og negasjon (nei).

Disse kontaktene relaterer dem til andre som kanskje eller ikke kan være galt. Sannhetsverdiene til alle disse proposisjonene er kombinert med hverandre, i henhold til faste prinsipper, og gir en "total" sannhetsverdi for hele sammensatte forslag eller argument, som det også er kjent.

På den annen side gir kontaktene den "totale" sannhetsverdien av forslagene som de kjeder sammen. For eksempel gir en feil påstand som er lenket til en feil uttalelse via en disjunksjonskontakt, en falsk verdi for forbindelsen. Men hvis den er lenket til en sann uttalelse, vil sannhetsverdien av den sammensatte uttalelsen være sann.

Sannhetstabeller

Alle mulige kombinasjoner av sannhetsverdier som de feilaktige proposisjonene kan ta i bruk, er kjent som sannhetstabeller. Disse tabellene er et logisk verktøy for å analysere ulike feilaktige forslag som er koblet sammen.

Nå kan den oppnådde sannhetsverdien være sann (tautologi), usann (selvmotsigelse) eller kontingent (falsk eller sann, avhengig av forholdene). Disse tabellene tar ikke hensyn til innholdet i hvert av de feilaktige utsagnene, bare deres sannhetsverdi. Derfor er de universelle.

Eksempler på gale proposisjoner

Enkle proposisjoner

Enkle proposisjoner har en enkelt sannhetsverdi. I dette tilfellet er sannhetsverdien falsk. Denne verdien tildeles avhengig av den personlige oppfatningen av virkeligheten til personen som tildeler den. For eksempel har følgende enkle utsagn falsk verdi:

1. Gresset er blått.
2. 0 + 0 = 2
3. Å studere brutaliserer mennesker.

Sammensatte forslag

Sammensatte feilaktige setninger dannes fra enkle setninger som er koblet gjennom kontakter:

1. Gresset er blått og studiene forstyrrer mennesker.
2. 0 + 0 = 2 eller gresset er blått.
3. Hvis 0 + 0 = 2, er gresset blått.
4. 0 + 0 = 2, og gresset er blått hvis og bare hvis studier forstyrrer mennesker.

referanser

1. University of Texas i Austin. (s / f). Proposjonell logikk. Hentet fra cs.utexas.edu.
2. Simon Fraser University. (s / f). Proposjonell logikk. Hentet fra cs.sfu.ca.
3. Old Dominion University. (s / f). Forslag. Hentet fra cs.odu.edu.
4. Internet Encyclopedia of Philosophy. (s / f). Proposjonell logikk. Hentet fra iep.utm.edu.
5. Encyclopædia Britannica. (2011, april). Sannhetsbordet. Hentet fra britannica.com.
6. Andrade, E .; Cubides, P .; Márquez, C .; Vargas, E. og Cancino, D. (2008). Logikk og formell tenking. Bogotá: Redaksjonell Universidad del Rosario.
7. Grant Luckhardt, C .; Bechtel, W. (1994). Slik gjør du ting med logikk. New Jersey: Lawrence Erlbaum Associates, Inc.