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

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

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

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

أي صيغة تكافئ q → p منطقيًا؟ انقر عليها.

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

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

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

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

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

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