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

كُتب جدول الصدق الكامل لـ (r ↔ p) → ((r ∧ p) → q). في كم صفًا N تكون p = 1 وq = 0؟

أكمل جدول الصدق (1 = صواب، 0 = خطأ). في كم صفًا N تكون p ∨ q صائبة؟

تريد إثبات q → (p ∨ r) بالعكس النقيض. أي استلزام تبرهن بدلًا منه؟ انقر عليه.

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

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

1. 1¬b ∧ ¬c
2. 2¬b ∨ c
3. 3¬b ∨ ¬c
4. 4¬b ∧ c

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

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

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

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