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

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

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

تريد إثبات b → ¬a بالتناقض. أي عبارة تفترضها في البداية؟ انقر عليها.

1. 1¬b → ¬¬a
2. 2¬b ∧ ¬a
3. 3¬b ∧ ¬¬a
4. 4b ∧ ¬¬a

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

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

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

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

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

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