The tabel kebenaran adalah logika strategi sederhana yang menetapkan keabsahan beberapa proposal mengenai situasi apapun, yaitu, menentukan kondisi yang diperlukan untuk menjadi kenyataan pernyataan yang diajukan, memungkinkan diklasifikasikan menjadi tautologis (yang benar untuk setiap situasi) kontradiktif (pernyataan salah dalam banyak kasus) atau kontingen (pernyataan yang tidak boleh banyak benar dan salah tidak cenderung ke satu arah).
Ini memungkinkan berbagai aspek pernyataan seperti kondisi yang membuatnya benar dan apa kesimpulan logisnya, yaitu, jika pernyataan yang diajukan benar atau salah. Tabel ini dibuat oleh Charles Sander Peirce sekitar tahun 1880, tetapi yang paling banyak digunakan adalah model yang diperbarui oleh Luidwin Wittgenstein pada tahun 1921.
Konstruksi tabel didasarkan pada penggunaan huruf untuk variabel hasil dan terpenuhi dan dikatakan benar, dalam kasus sebaliknya tidak terpenuhi, diberi nama salah, misalnya: Pernyataan: "Jika kita pindah, anjingku mati . " Variabel: A: Jika bergerak- B: anjing mati.
Jika dikatakan benar untuk kedua variabel, maka huruf (V) diberikan padanya dan mewakili positivitas pernyataan, jika beberapa variabel tidak terpenuhi, huruf (F) diberikan padanya, ini tidak mewakili kepalsuan pernyataan karena dengan Jika hanya satu variabel yang terpenuhi, itu dapat ditetapkan sebagai benar, itu akan bergantung pada pernyataannya. Ketika kedua nilai benar setiap saat, dikatakan ada konjugasi dalam pernyataan, di sisi lain, jika dua hasil benar diperoleh dan kemudian satu benar dan yang lainnya salah, dikatakan ada disjungsi.
