Simbol nilai kebenaran
Nilai kebenaran suatu pernyataan dituliskan sebagai huruf B untuk mewakili benar, dan huruf S untuk mewakili salah. Ada beberapa set simbol yang sering digunakan, tetapi dalam buku ini akan digunakan simbol B dan S.
| Benar | B | T | ⊤ | 1 |
| Salah | S | F | ⊥ | 0 |
Tabel simbol yang sering digunakan untuk mewakili benar dan salah.
Berikutnya: Pernyataan yang undecidable