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

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

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

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

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

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

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

أي عبارة تكافئ ¬∃x (F(x) ∧ G(x)) مع نقل النفي إلى الداخل تمامًا؟ انقر عليها.

1. 1∀x (¬F(x) ∧ ¬G(x))
2. 2∃x (¬F(x) ∧ ¬G(x))
3. 3∀x (F(x) → ¬G(x))
4. 4∀x (F(x) ∧ ¬G(x))

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