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

كم صفًا N في جدول الصدق الكامل لـ (r ∧ q) → (p ↔ ¬(q ∧ r))؟

كم صفًا N في جدول الصدق الكامل لـ (¬c ∧ (b ∧ a)) → (¬(a ∧ c) ∨ b)؟

في كم صفًا من الصفوف الثمانية لجدول صدق (¬b ∧ (¬a → c)) ∧ ((a ↔ c) ∧ ¬b) تكون صائبة؟ سمِّ هذا العدد N.

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

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

أي عبارة تكافئ ¬∃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)

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

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