Felaktiga förslag, egenskaper och exempel

De felaktiga förslag de är logiska enheter med ett null (falskt) sanningsvärde. I allmänhet är ett förslag ett språkligt (mening) eller matematiskt uttryck där dess sanning eller falskhet kan fastställas. Propositioner är grunden för logik och utgör ett mycket specifikt område som kallas propositionslogik..

På detta sätt är det huvudsakliga kännetecknet för en proposition dess möjlighet att förklaras enligt dess sanningsvärde (falskt eller sant). Till exempel uttrycket Juan, gå till affären! det representerar inte ett förslag eftersom det saknar denna möjlighet. Under tiden meningar som Juan gick till affären för att köpa eller Juan går till affären om de har det.

Nu, på det matematiska planet, är "10−4 = 6" och "1 + 1 = 3" förslag. Det första fallet handlar om ett riktigt förslag. Den andra är för sin del en del av de felaktiga förslagen.

Så det som är viktigt är inte förslaget eller hur det presenteras, utan dess sanningsvärde. Om detta existerar finns det också förslaget.

Artikelindex

• 1 Funktioner
  • 1.1 Enkel eller sammansatt
  • 1.2 Deklarativ
  • 1.3 Otvetydig
  • 1.4 Med ett enda sanningsvärde
  • 1.5 Mottagbart att representeras symboliskt
  • 1.6 Användning av kontakter eller logiska anslutningar
• 2 Sanningstabeller
• 3 Exempel på felaktiga förslag
  • 3.1 Enkla förslag
  • 3.2 Sammansatta förslag
• 4 Referenser

Egenskaper

Enkelt eller sammansatt

Felaktiga förslag kan vara enkla (de uttrycker endast ett sanningsvärde) eller sammansatta (de uttrycker flera sanningsvärden). Detta beror på om dina komponenter påverkas av kedjelement. Dessa relaterade element är kända som kontakter eller logiska anslutningar..

Ett exempel på det förra är felaktiga förslag av typen: "Den vita hästen är svart", "2 + 3 = 2555" eller "Alla fångar är oskyldiga".

Av den andra typen motsvarar förslag som "Fordonet är svart eller det är rött", "Om 2 + 3 = 6, då 3 + 8 = 6". I det senare observeras kopplingen mellan minst två enkla propositioner.  

Som med de sanna är de falska sammanflätade med andra enkla förslag som kan vara falska och andra sanna. Resultatet av analysen av alla dessa propositioner leder till ett sanningsvärde som kommer att vara representativt för kombinationen av alla inblandade propositioner..

Deklarativ

Felaktiga förslag är deklarativa. Detta betyder att de alltid har ett associerat sanningsvärde (falskt värde).

Om du till exempel har "x är större än 2" eller "x = x" kan du inte fastställa värdet av falskhet (eller sanning) förrän du vet att "x" representerar. Därför anses inget av de två uttrycken vara deklarativt..

Utan tvetydighet

Felaktiga förslag har ingen tvetydighet. De är konstruerade på ett sådant sätt att de bara har en möjlig tolkning. På detta sätt är dess sanningsvärde ett fast och unikt värde..

Å andra sidan återspeglar denna brist på tvetydighet dess universalitet. Således kan dessa vara universellt negativa, särskilt negativa och existentiellt negativa:

• Alla planeter kretsar kring solen (universellt negativ).
• Vissa människor producerar klorofyll (särskilt negativt).
• Det finns inga landfåglar (existerande negativa).  

Med ett enda sanningsvärde

De felaktiga förslagen har bara ett sanningsvärde, det falska. De har inte det verkliga värdet samtidigt. Varje gång samma proposition tas upp kommer dess värde att förbli falskt så länge villkoren för det formuleras inte varierar..

Känslig för att representeras symboliskt

Felaktiga propositioner kan representeras symboliskt. För detta ändamål tilldelas de första bokstäverna i ordförrådet på ett konventionellt sätt för att beteckna dem. I propositionell logik symboliserar således små bokstäverna a, b, c och de efterföljande förslagen..

När en proposition har tilldelats en symbolisk bokstav bibehålls den under hela analysen. På samma sätt tilldelas motsvarande sanningsvärde inte innehållet i propositionen längre. All ytterligare analys kommer att baseras på symbolen och sanningsvärdet.

Användning av kontakter eller logiska anslutningar

Genom användning av länkar (kontakter eller logiska anslutningar) kan flera enkla felaktiga förslag sammanfogas och bilda en sammansättning. Dessa kontakter är konjunktion (och), disjunktion (eller), implikation (då), ekvivalens (om och endast om) och negation (nej).

Dessa kontakter relaterar dem till andra som kan eller inte kan vara fel. Sanningsvärdena för alla dessa propositioner kombineras med varandra, enligt fasta principer, och ger ett "totalt" sanningsvärde för hela det sammansatta förslaget eller argumentet, som det också är känt..

Å andra sidan ger kontakterna det "totala" sanningsvärdet av de förslag som de sammanfogar. Till exempel returnerar ett feluttag som är kedjat till ett feluttalande genom en disjunktionsanslutning ett falskt värde för föreningen. Men om det är kedjat till ett riktigt förslag, kommer sanningsvärdet av det sammansatta förslaget att vara sant.

Sanningstabeller

Alla möjliga kombinationer av sanningsvärden som de felaktiga förslagen kan anta kallas sanningstabeller. Dessa tabeller är ett logiskt verktyg för att analysera olika felaktiga förslag kopplade ihop..

Nu kan det erhållna sanningsvärdet vara sant (tautologi), falskt (motsägelse) eller kontingent (falskt eller sant, beroende på förhållandena). Dessa tabeller tar inte hänsyn till innehållet i vart och ett av de felaktiga uttalandena, utan bara deras sanningsvärde. Därför är de universella.

Exempel på felaktiga förslag

Enkla förslag

Enkla propositioner har ett enda sanningsvärde. I det här fallet är sanningsvärdet falskt. Detta värde tilldelas beroende på den personliga uppfattningen om verkligheten hos den person som tilldelar det. Följande enkla meningar har till exempel falskt värde:

1. Gräset är blått.
2. 0 + 0 = 2
3. Att studera brutaliserar människor.

Sammansatta förslag

Sammansatta felaktiga meningar bildas av enkla som är länkade genom kontakter:

1. Gräset är blått och studier brutaliserar människor.
2. 0 + 0 = 2 eller gräset är blått.
3. Om 0 + 0 = 2 är gräset blått.
4. 0 + 0 = 2, och gräset är blått om och bara om studierna brutaliserar människor.

Referenser

1. University of Texas i Austin. (s / f). Förslagslogik. Hämtad från cs.utexas.edu.
2. Simon Fraser University. (s / f). Förslagslogik. Hämtad från cs.sfu.ca.
3. Old Dominion University. (s / f). Förslag. Hämtad från cs.odu.edu.
4. Internet Encyclopedia of Philosophy. (s / f). Förslagslogik. Hämtad från iep.utm.edu.
5. Encyclopædia Britannica. (2011, april). Sanningstabellen. Hämtad från britannica.com.
6. Andrade, E.; Cubides, P.; Márquez, C. Vargas, E. och Cancino, D. (2008). Logik och formellt tänkande. Bogotá: Ledare Universidad del Rosario.
7. Grant Luckhardt, C. Bechtel, W. (1994). Hur man gör saker med logik. New Jersey: Lawrence Erlbaum Associates, Inc.