Lembaran kerja Logik proposisi & pembuktian dengan jawapan

Tepat satu baris jadual kebenaran menjadikan p → q palsu. Klik baris itu.

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

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

Anda hendak membuktikan ¬c → (a ∨ b) secara kontrapositif. Implikasi manakah yang anda buktikan sebagai gantinya? Klik implikasi itu.

1. 1¬¬c → ¬(a ∨ b)
2. 2(a ∨ b) → ¬c
3. 3¬c ∧ ¬(a ∨ b)
4. 4¬(a ∨ b) → ¬¬c

Adakah ¬((q ∧ r) → q) tautologi, percanggahan atau kontingensi? Klik jawapan anda.

1. 1tautologi
2. 2percanggahan
3. 3kontingensi

Hujah dengan premis p → (q ∨ r); p dan kesimpulan q adalah tidak sah. Klik baris jadual kebenaran yang menjadi contoh penyangkal.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

Pernyataan manakah yang setara dengan ¬∀x F(x), dengan penafian dialihkan sepenuhnya ke dalam? Klik pernyataan itu.

1. 1∃x F(x)
2. 2∀x ¬F(x)
3. 3∃x ¬F(x)
4. 4∀x F(x)