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

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

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

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

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

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

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

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

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

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

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

1. 1∀x (P(x) → ¬Q(x))
2. 2∃x (P(x) ∧ ¬Q(x))
3. 3∃x (¬P(x) ∧ Q(x))
4. 4∃x (P(x) → ¬Q(x))