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

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

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

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

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

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

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

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

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

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