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

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

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

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

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

تريد إثبات r → (p ∧ q) بالعكس النقيض. أي استلزام تبرهن بدلًا منه؟ انقر عليه.

1. 1(p ∧ q) → r
2. 2r ∧ ¬(p ∧ q)
3. 3¬(p ∧ q) → ¬r
4. 4¬r → ¬(p ∧ q)

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

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 (A(x) → B(x)) مع نقل النفي إلى الداخل تمامًا؟ انقر عليها.

1. 1∃x (A(x) → ¬B(x))
2. 2∃x (¬A(x) ∧ B(x))
3. 3∀x (A(x) ∧ ¬B(x))
4. 4∃x (A(x) ∧ ¬B(x))