- egenskaper
- Enkelt eller sammansatt
- deklarativ
- Bristande tvetydighet
- Med ett enda sanningsvärde
- Känsligt att representeras symboliskt
- Användning av kontakter eller logiska anslutningar
- Sanningstabeller
- Exempel på felaktiga förslag
- Enkla förslag
- Sammansatta förslag
- referenser
De felaktiga förslagen är logiska enheter med ett sanningsvärde noll (falskt). I allmänhet är ett förslag ett språkligt (mening) eller ett matematiskt uttryck från vilket dess sanning eller falska kan säkerställas. Förslag är grunden för logik och utgör ett mycket specifikt fält som kallas propositionlogik.
På detta sätt är det främsta kännetecknet för ett förslag dess möjlighet att förklaras enligt dess sanningsvärde (falsk eller sann). Till exempel uttrycket Juan, gå till butiken! det representerar inte ett förslag eftersom det saknar denna möjlighet. Under tiden gick meningar som Juan till butiken för att köpa eller Juan går till butiken.
Enkelt felaktigt exempel
På det matematiska planet är "10−4 = 6" och "1 + 1 = 3" förslag. Det första fallet handlar om ett riktigt förslag. För det andra är den andra en del av de felaktiga förslagen.
Så det som är viktigt är inte förslaget eller hur det presenteras, utan det är sanningens värde. Om detta finns finns förslaget också.
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 kedjeelement eller inte. Dessa relaterade element kallas 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 förslag.
Liksom med de sanna är de falska sammanflätade med andra enkla förslag som kan vara vissa falska och andra sanna. Resultatet av analysen av alla dessa förslag leder till ett sanningsvärde som kommer att vara representativt för kombinationen av alla inblandade förslag.
deklarativ
Felaktiga förslag är deklarativa. Detta innebär 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 på falskhet (eller sanningsenhet) förrän du vet att "x" representerar. Därför anses inget av de två uttrycka som deklarativt.
Bristande tvetydighet
De felaktiga förslagen 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 en fast och unik.
Å 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 negativa).
- Vissa människor producerar klorofyll (särskilt negativt).
- Det finns inga landfåglar (existerande negativa).
Med ett enda sanningsvärde
Felaktiga förslag har bara ett sanningsvärde, falskt. De har inte samtidigt det verkliga värdet. Varje gång samma förslag tas upp förblir dess värde falskt så länge villkoren under vilka det formuleras inte förändras.
Känsligt att representeras symboliskt
Felaktiga förslag är mottagliga för att 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 propositionslogik symboliserar således små bokstäverna a, b, c och efterföljande bokstäver förslag.
När ett förslag har tilldelats en symbolisk bokstav upprätthålls den under hela analysen. På motsvarande sätt, tilldelat motsvarande sanningsvärde, kommer innehållet i förslaget inte längre att spela. All efterföljande analys kommer att baseras på symbolen och sanningsvärdet.
Användning av kontakter eller logiska anslutningar
Genom att använda kopplingar (kontakter eller logiska anslutningar) kan flera enkla felaktiga förslag sättas samman och bilda en sammansättning. Dessa kontakter är konjunktion (och), disjunktion (eller), implikation (då), ekvivalens (om och bara om) och negation (nej).
Dessa kontakter relaterar dem till andra som kanske eller inte kan vara fel. Sanningsvärdena för alla dessa förslag kombineras med varandra, enligt fasta principer, och ger ett "totalt" sanningsvärde för hela sammansatt förslag eller argument, som det också är känt.
Å andra sidan ger kontakterna det "totala" sanningsvärdet för de förslag som de länkar. Till exempel returnerar ett felaktigt uttalande som är kedjat till ett felaktigt uttalande via en kopplingskontakt ett felaktigt värde för föreningen. Men om det är kedjat till ett sant uttalande, kommer sanningsvärdet för det sammansatta uttalandet att vara sant.
Sanningstabeller
Alla möjliga kombinationer av sanningsvärden som de felaktiga förslagen kan anta är kända som 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å villkoren). Dessa tabeller tar inte hänsyn till innehållet i vart och ett av de felaktiga uttalandena, bara deras sanningsvärde. Därför är de universella.
Exempel på felaktiga förslag
Enkla förslag
Enkla förslag har ett enda sanningsvärde. I det här fallet är sanningsvärdet falskt. Detta värde tilldelas beroende på den personliga uppfattningen av verkligheten för den person som tilldelar den. Följande enkla uttalanden har till exempel falskt värde:
- Gräset är blått.
- 0 + 0 = 2
- Studera brutaliserar människor.
Sammansatta förslag
Sammansatta felaktiga meningar bildas av enkla som är länkade genom kontakter:
- Gräset är blått och studierna förskräcker människor.
- 0 + 0 = 2 eller så är gräset blått.
- Om 0 + 0 = 2, är gräset blått.
- 0 + 0 = 2, och gräset är blått om och bara om studier förväxlar människor.
referenser
- University of Texas i Austin. (s / f). Förslagslogik. Hämtad från cs.utexas.edu.
- Simon Fraser University. (s / f). Förslagslogik. Hämtad från cs.sfu.ca.
- Old Dominion University. (s / f). Förslag. Hämtad från cs.odu.edu.
- Internet Encyclopedia of Philosophy. (s / f). Förslagslogik. Hämtad från iep.utm.edu.
- Encyclopædia Britannica. (2011, april). Sanningsbord. Hämtad från britannica.com.
- Andrade, E .; Cubides, P .; Márquez, C .; Vargas, E. och Cancino, D. (2008). Logik och formellt tänkande. Bogotá: Redaktör Universidad del Rosario.
- Grant Luckhardt, C .; Bechtel, W. (1994). Hur man gör saker med logik. New Jersey: Lawrence Erlbaum Associates, Inc.