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

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

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

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

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

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

هل ((q ∨ r) ∧ q) → ¬r حشو أم تناقض أم ممكنة؟ انقر على إجابتك.

1. 1حشو
2. 2تناقض
3. 3ممكنة

كم صفًا من الصفوف الـ 16 لجدول الصدق تجعل (q ∧ ¬(r → s)) ∧ ¬(r ↔ ¬(p → ¬s)) صائبة؟ سمِّ هذا العدد N.

الحجة ذات المقدمات r → (q ∨ p); 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