The jadual kebenaran ialah logik strategi hanya yang menetapkan kesahihan beberapa cadangan mengenai apa-apa keadaan, iaitu, menentukan syarat-syarat yang diperlukan untuk menjadi kenyataan kenyataan mencadangkan, membolehkan dikelaskan kepada tautological (adalah benar untuk apa jua keadaan) bertentangan (pernyataan tidak betul dalam kebanyakan kes) atau kontinjen (pernyataan yang tidak boleh banyak benar dan salah tidak cenderung ke satu arah).
Ia membenarkan aspek pernyataan yang berbeza seperti syarat yang menjadikannya benar dan kesimpulan logiknya, iaitu jika pernyataan yang dicadangkan itu benar atau salah. Jadual ini dibuat oleh Charles Sander Peirce sekitar tahun 1880, tetapi yang paling banyak digunakan adalah model yang dikemas kini oleh Luidwin Wittgenstein pada tahun 1921.
Pembinaan jadual didasarkan pada penggunaan huruf untuk pemboleh ubah hasil dan mereka dipenuhi dan mereka dikatakan benar, dalam keadaan sebaliknya bahawa mereka tidak dipenuhi, mereka diberi nama palsu, misalnya: Pernyataan: "Sekiranya kita bergerak, anjing saya akan mati . " Pemboleh ubah: A: Sekiranya bergerak- B: anjing itu mati.
Sekiranya dikatakan benar untuk kedua-dua pemboleh ubah, huruf (V) ditugaskan dan mewakili positif pernyataan, jika beberapa pemboleh ubah tidak dipenuhi, huruf (F) diberikan kepada mereka, ini tidak mewakili kepalsuan pernyataan sejak dengan Sekiranya hanya satu pemboleh ubah yang berpuas hati, ia boleh ditetapkan sebagai benar, yang akan bergantung pada pernyataan tersebut. Apabila kedua-dua nilai itu benar setiap saat, dikatakan bahawa terdapat konjugasi dalam pernyataan tersebut, di sisi lain, jika dua hasil benar diperoleh dan kemudian satu benar dan yang lain salah, dikatakan bahawa terdapat gangguan.
