ورقة عمل المنطق القضوي والبراهين مع الإجابات

يوجد صف واحد بالضبط في جدول الصدق يجعل (p ↔ r) ∨ (r ∨ ¬q) خاطئة. انقر على ذلك الصف.

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

يوجد صف واحد بالضبط في جدول الصدق يجعل ¬a ∨ (b ↔ ¬a) خاطئة. انقر على ذلك الصف.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

أي صيغة تكافئ ¬(r ∨ q) منطقيًا؟ انقر عليها.

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

أي صيغة تكافئ r ↔ q منطقيًا؟ انقر عليها.

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

أي عبارة تكافئ ¬∃x A(x) مع نقل النفي إلى الداخل تمامًا؟ انقر عليها.

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

أي عبارة تكافئ ¬∃x ∀y R(x, y) مع نقل النفي إلى الداخل تمامًا؟ انقر عليها.

1. 1∃x ∀y ¬R(x, y)
2. 2∀x ∀y ¬R(x, y)
3. 3∃x ∃y ¬R(x, y)
4. 4∀x ∃y ¬R(x, y)