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

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

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

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

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

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

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

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

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

1. 1∃x ∃y ¬R(x, y)
2. 2∀x ∃y ¬R(x, y)
3. 3∃x ∀y ¬R(x, y)
4. 4∀x ∀y ¬R(x, y)