Önerme, doğruluğu veya yanlışlığı kesin olarak saptanabilen, belirli bir yargı bildiren ifadelere verilen isimdir. Önermelerin doğruluğu bakımından doğru önermeler "1" ve yanlış önermeler "0" ile ifade edilmektedir.
Önermelerin birbirlerine ve, veya, ya da, ancak ve ancak gibi bağlaçlar ile bağlanmaları durumunda bu önermeler bileşik önerme adı almaktadır.
Soruda,
p ≡ 1, q ≡ 0, r ≡ 1 olmak üzere önermelerin doğruluk değerleri verilmiştir. Buna göre bileşik önermelerin doğruluk değerlerini hesaplayalım.
p ⇒ (q Λ r)
= p ⇒ (0 Λ 1)
= 1 ⇒ 0 = 0 olarak hesaplanır.
(p v q) ⇒ r
= (1 V 0) ⇒ r
= 1 ⇒ 1 = 1 olarak hesaplanır.
(p ⇒ q) ⇒ (q ⇒ r)
= (1 ⇒ 0) ⇒ (0 ⇒ 1)
= 0 ⇒ 1 = 1 olarak hesaplanır.
(q' ⇒ p) ⇒ r'
= (1 ⇒ 1 ) ⇒ r'
= 1 ⇒ 0 = 0 olarak hesaplanır.