Lembaran kerja Logik proposisi & pembuktian dengan jawapan

Lengkapkan jadual kebenaran (1 = benar, 0 = palsu). Dalam berapa baris N adakah (a ∧ ¬b) ∨ a benar?

Tepat satu baris jadual kebenaran menjadikan (p → q) ∨ (q ∧ ¬p) palsu. Klik baris itu.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Anda hendak membuktikan (q ∧ r) → p secara percanggahan. Pernyataan manakah yang anda andaikan pada permulaan? Klik pernyataan itu.

1. 1(q ∧ r) ∧ ¬p
2. 2¬(q ∧ r) → ¬p
3. 3¬(q ∧ r) ∧ p
4. 4¬(q ∧ r) ∧ ¬p

Anda hendak membuktikan q → ¬r secara kontrapositif. Implikasi manakah yang anda buktikan sebagai gantinya? Klik implikasi itu.

1. 1¬¬r → ¬q
2. 2¬r → q
3. 3q ∧ ¬¬r
4. 4¬q → ¬¬r

Hujah dengan premis c → b; a → b dan kesimpulan c → a adalah tidak sah. Klik baris jadual kebenaran yang menjadi contoh penyangkal.

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0

Premis b → a; b diberikan. Kesimpulan manakah yang terhasil daripadanya? Klik kesimpulan itu.

1. 1a
2. 2¬a
3. 3b ∧ ¬a
4. 4¬b