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

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

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

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

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

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

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

الحجة ذات المقدمات q → p; p والاستنتاج q غير صحيحة. انقر على صف جدول الصدق الذي يمثل مثالًا مضادًا.

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

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