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: Undecidable