Totuustaulujen on strategia, logiikka yksinkertaisesti että perustetaan pätevyyttä useita ehdotuksia mistään tilanteesta, eli määrittää ehdot välttämätöntä olla totta ehdotetun lausuman, mahdollistaen luokitellaan tautologisia (toteutuvat joka tilanteeseen) ristiriitainen (väitteet ovat väärät useimmissa tapauksissa) tai ehdolliset (lausumat, joita ei voi olla paljon totta ja väärää, eivät ole taipuvaisia yhteen suuntaan).
Se sallii lausunnon eri näkökohdat, kuten ehdot, jotka tekevät siitä totta ja mitkä ovat sen loogiset johtopäätökset, toisin sanoen jos ehdotettu lausuma on totta tai väärä. Tämän taulukon suunnitteli Charles Sander Peirce noin vuonna 1880, mutta yleisimmin käytetty on Luidwin Wittgensteinin päivittämä malli vuonna 1921.
Rakentaminen taulukon perustuu käytön kirjain tulosmuuttujat ja ne täyttyvät, ja niiden sanotaan olevan totta, päinvastaisessa tapauksessa, että ne eivät täyty, ne annetaan nimi väärien, esimerkiksi: Statement: "Jos muutamme, koirani kuolee . " Muuttujat: A: Jos se liikkuu - B: koira kuolee.
Jos sen sanotaan olevan totta molemmille muuttujille, kirjain (V) on osoitettu ja edustaa lauseen positiivisuutta, jos jotkut muuttujat eivät täyty, kirjain (F) on osoitettu heille, tämä ei edusta väitteen valheellisuutta, koska Jos vain yksi muuttuja on tyytyväinen, se voidaan määrittää tosi, joka riippuu lauseesta. Kun molemmat arvot ovat totta kaikissa tilanteissa, sanotaan, että lauseessa on konjugaatio, toisaalta, jos saadaan kaksi tosi tulosta ja sitten yksi tosi ja toinen väärä, sanotaan, että on disjunktio.
