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

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

يوجد صف واحد بالضبط في جدول الصدق يجعل (¬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) منطقيًا؟ انقر عليها.

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

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

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

المقدمات q ∨ r; ¬q معطاة. أي استنتاج يلزم عنها؟ انقر عليه.

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

أي عبارة تكافئ ¬∃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))