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

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

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

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

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

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

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

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

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

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

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

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