Feil proposisjoner egenskaper og eksempler



den feilforslag de er logiske enheter med en ekte verdi på null (false). Generelt er et forslag et språklig (setning) eller matematisk uttrykk hvorfra dets sannhet eller falskhet kan sikres. Proposisjoner er grunnlaget for logikk og utgjør et veldig spesifikt felt kjent som propositional logic.

På denne måten er hovedkarakteristikken til et proposisjon muligheten for å bli erklært i henhold til sannhetsverdien (falsk eller sann). For eksempel, uttrykket ¡Juan, gå til butikken! det representerer ikke et forslag fordi det mangler denne muligheten. I mellomtiden gikk bønner som Juan til butikken for å kjøpe eller Juan går til butikken hvis de har den.

Nå, i matematisk plan er "10-4 = 6" og "1 + 1 = 3" proposisjoner. Det første tilfellet er et sant forslag. For sin del er den andre en del av de forkerte forslagene.

Så viktig er ikke forslaget eller måten det presenteres på, men dets sanne verdi. Hvis det er en, så er det også forslaget.

index

  • 1 Egenskaper
    • 1.1 Enkel eller sammensatt
    • 1.2 Deklarativ
    • 1.3 Mangler tvetydighet
    • 1.4 Med en eneste sannhetsverdi
    • 1.5 Sårbar for å være representert symbolsk
    • 1.6 Bruk av kontakter eller logiske kontakter
  • 2 sannhetstabeller
  • 3 Eksempler på feilforslag
    • 3.1 Enkle proposisjoner
    • 3.2 Sammensatte forslag
  • 4 referanser

funksjoner

Enkel eller sammensatt

De feilaktige proposisjonene kan være enkle (de uttrykker bare en sannhetsverdi) eller sammensatt (de uttrykker flere verdier av sannhet). Dette avhenger av om komponentene er påvirket av kjettingelementer eller ikke. Disse relasjonelle elementene er kjent som konnektorer eller logisk bånd.

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

Av den andre typen svarer forslag som "Kjøretøyet er svart eller rødt", "Hvis 2 + 3 = 6, deretter 3 + 8 = 6". I sistnevnte observeres forbindelsen mellom minst to enkle proposisjoner.  

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

du fastsettelsesdom

De feilaktige proposisjonene er deklarative. 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 angi verdien av falskhet (eller sannhet) til du vet at "x" representerer. Derfor blir ingen av de to uttrykkene deklarert.

Mangler tvetydighet

Feilforslagene har ingen tvetydighet. De er konstruert på en slik måte at de har en enkelt mulig tolkning. På denne måten er dens sanne verdi en fast og unik.

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

  • Alle planetene dreier seg rundt solen (universelt negativ).
  • Noen mennesker produserer klorofyll (spesielt negativ).
  • Det er ingen landfugler (eksistentielt negative).  

Med en eneste sannhetsverdi

De feilaktige proposisjonene har bare en sannhet, den falske. De har ikke den sanne verdien samtidig. Hver gang det samme forslaget blir hevet, vil dets verdi forbli falskt så lenge betingelsene der det er formulert, ikke endres.

Følsom for å være representert symbolsk

De feilaktige proposisjonene er utsatt for å være representert på en symbolsk måte. For dette formålet er de første bokstavene i vokabularet tildelt på en konvensjonell måte å betegne dem. Dermed symboliserer små bokstaver a, b, c og de påfølgende proposisjoner i propositional logic.

Når en proposisjon har blitt tildelt et symbolsk brev, opprettholdes det gjennom analysen. På samme måte, tilordnet den tilsvarende sannhetsverdien, vil innholdet i forslaget ikke lenger være av betydning. Alle etterfølgende analyser vil være basert på symbolet og sannhetsverdien.

Bruk av kontakter eller logiske kontakter

Gjennom bruk av chaining (kontakter eller logiske connectives), kan flere enkle feilaktige proposisjoner bli med og danne en kompositt. Disse forbindelsene er sammenheng (y), disjunksjon (o), implikasjon (da), ekvivalens (hvis og bare hvis) og negasjon (nei).

Disse kontaktene relaterer dem til andre som kanskje også er feil eller ikke. Sannhetsverdiene til alle disse proposisjonene er kombinert med hverandre, i henhold til faste prinsipper, og gir en "total" sanne verdi for hele sammensatte proposisjon eller argument, som det også er kjent.

På den annen side gir kontaktene sannhetsverdien "total" av proposisjonene som kjeden. For eksempel kaster en feilaktig setning som er koblet til en feilaktig gjennom en disjeksjonskobling en falsk verdi for kompositten. Men hvis det er knyttet til et sant proposisjon, vil sannhetsverdien av det sammensatte forslaget være sant.

Sannhet tabeller

Alle mulige kombinasjoner av sannhetsverdier som feilaktige forslag kan ta, er kjent som sannhetstabeller. Disse tabellene er et logisk verktøy for å analysere flere feilaktige setninger knyttet sammen.

Nå kan sannhetsverdien som er oppnådd, være sann (tautologi), falsk (motsigelse) eller kontingent (falsk eller sann, avhengig av forholdene). Disse tabellene tar ikke hensyn til innholdet i hver av de feilaktige proposisjonene, bare deres sannhetsverdi. Derfor er de universelle.

Eksempler på feilforslag

Enkle proposisjoner

Enkle proposisjoner har en unik sannhetsverdi. I dette tilfellet er sannhetsverdien falsk. Denne verdien er tildelt avhengig av personens personlige oppfatning av virkeligheten. For eksempel har følgende enkle proposisjoner en falsk verdi:

  1. Gresset er blått.
  2. 0 + 0 = 2
  3. Studiet stunner folk.

Sammensatte forslag

De sammensatte feilaktige proposisjonene dannes av enkle koblinger som er koblet gjennom kontakter:

  1. Gresset er blått og studerer brutaliserer folk.
  2. 0 + 0 = 2 eller gresset er blått.
  3. Hvis 0 + 0 = 2, så er gresset blått.
  4. 0 + 0 = 2, og gresset er blått hvis og bare hvis man studerer stunner folk.

referanser

  1. University of Texas i Austin. (s / f). Propositional Logic. Tatt fra cs.utexas.edu.
  2. Simon Fraser University. (s / f). Propositional Logic. Hentet fra cs.sfu.ca.
  3. Old Dominion University. (s / f). Proposisjoner. Tatt fra cs.odu.edu.
  4. Internett Encyclopedia of Philosophy. (s / f). Propositional Logic. Tatt fra iep.utm.edu.
  5. Encyclopædia Britannica. (2011, april). Sannhetstabell. Hentet fra britannica.com.
  6. Andrade, E .; Cubides, P .; Márquez, C .; Vargas, E. og Cancino, D. (2008). Logisk og formell tenkning. Bogotá: Editorial Universidad del Rosario.
  7. Grant Luckhardt, C .; Bechtel, W. (1994). Hvordan gjøre ting med logikk. New Jersey: Lawrence Erlbaum Associates, Inc.