Doğruluk tabloları bir olan strateji mantığı birkaç geçerliliğini kurar basitçe önerileri herhangi bir durum ile ilgili olarak, yani belirler koşulları gerçek önerilen bir bildiri, olmak için gerekli totolojik sınıflandırılır izin verilmesi (her durum için geçerli) çelişkili (ifadeler çoğu durumda yanlıştır) veya koşullu (pek çok doğru ve yanlış olamayacak ifadeler tek bir yöne meyilli değildir).
İfadenin, onu doğru kılan koşullar ve mantıksal sonuçlarının ne olduğu, yani önerilen ifadenin doğru mu yanlış mı olduğu gibi farklı yönlerine izin verir. Bu tablo, 1880 civarında Charles Sander Peirce tarafından tasarlandı, ancak en yaygın olarak kullanılan, 1921'de Luidwin Wittgenstein tarafından güncellenmiş modeldir.
Tablonun inşası, sonuç değişkenleri için bir harf kullanımına dayanır ve yerine getirilir ve doğru oldukları söylenir, yerine getirilmedikleri durumda, onlara yanlış adı verilir, örneğin: İfade: "Hareket edersek köpeğim ölür . " Değişkenler: A: Eğer hareket ederse - B: köpek ölür.
Her iki değişkene de doğru olduğu söyleniyorsa, (V) harfi atanır ve ifadenin pozitifliğini temsil eder, bazı değişkenler yerine getirilmezse (F) harfi atanır, bu ifadenin yanlışlığını temsil etmez, çünkü Yalnızca bir değişken karşılanırsa, bu ifadeye bağlı olacak şekilde true olarak belirlenebilir. Her iki değer de her zaman doğru olduğunda ifadede bir konjugasyon olduğu söylenir, öte yandan iki doğru sonuç elde edilirse biri doğru, diğeri yanlış ise bir ayrılık olduğu söylenir.
