Lembar kerja Logika proposisional & pembuktian dengan jawaban

Tepat satu baris tabel kebenaran membuat ¬q ∨ ¬p salah. Klik baris itu.

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

Tepat satu baris tabel kebenaran membuat p → q salah. Klik baris itu.

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

Rumus mana yang ekuivalen secara logis dengan r → p? Klik rumus itu.

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

Rumus mana yang ekuivalen secara logis dengan q ∧ (r ∨ p)? Klik rumus itu.

1. 1(q ∧ r) ∨ p
2. 2q ∨ (r ∧ p)
3. 3(q ∧ r) ∨ (q ∧ p)
4. 4(q ∨ r) ∧ (q ∨ p)

Premis p → q; q → r diberikan. Kesimpulan mana yang mengikuti dari premis-premis itu? Klik kesimpulan itu.

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

Premis r → q; r diberikan. Kesimpulan mana yang mengikuti dari premis-premis itu? Klik kesimpulan itu.

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