Hva er et sant utsagn i Logic?

Teknisk sett er det ingen sanne eller falske påstander i logikk, eneste gyldige eller ugyldige argumenter. Et argument er gyldig hvis det skulle være sant om uttalelser som gjør den opp er sant eller usant.

logiske Uttalelser

Logiske utsagn er sammensatt av enkeltforslagene, kombinert med logiske operatører som "og", "eller", "hvis / da," "innebærer" og "ikke". For eksempel, "Hvis P så Q" innebærer «Hvis Q da P '" er en logisk argument.

Gyldighet av logiske argumenter

Gyldigheten av et logisk argument kan evalueres via en sannhet bord. I en sannhet tabell lister vi hver kombinasjon av komponentene i argumentet er sant eller usant. Hvis, som i vårt eksempel, er det to komponenter (P og Q) så er det fire kombinasjoner: Både sant, både falske, P sann Q usann og Q sann P usann. Hvis resultatet er riktig uansett kombinasjonen, er argumentet gyldig; ellers er det ugyldig.

Truth Tabeller

Sannheten bord for vårt eksempel argument er som følger:

Hvis P og Q er både sant, så både "Hvis P så Q" og "Hvis Q deretter P" er sant, og så er det full utsagn, som blir "Hvis det stemmer så sant», som er sant.

Hvis P er sann og Q er usann, og deretter "Hvis P så Q" er falsk, og hvis "Q deretter P" er sant, og hele uttalelsen blir "hvis usann så sant," som er sant.

Hvis både P og Q er falske, da både "Hvis P så Q" og hvis "Q deretter P" er sant, og så er det full uttalelse, som blir om "false deretter falske."

Men hvis P er usann og Q er sant, så "Hvis P så Q" er sant, og «Hvis Q deretter P" er falsk og hele uttalelsen blir "Hvis det stemmer så falsk", som er falsk.