p ¬ p S B B S Misalkan p adalah sebuah pernyataan. Karena kita tidak tahu kebenaran dari p, maka kita mendaftar semua kemungkinannya. Tabel berikut mengungkapkan dua kemungkinan kebenaran ¬ p. 104 reads
