چه تعداد از استنتاجهای زیر در دستگاه استنتاج طبیعی برقرارند؟ (¬ p) ∨ (q → p) ⊢ ¬ p ∧ q (¬ r) → (p ∨ q), (r ∧ ¬ q) ⊢ r → q p → (q → r) ⊢ p → (r → q)

سوال ۱۰۰ کنکور ارشد علوم کامپیوتر ۱۳۹۷

اهمیت

۰/۵

چه تعداد از استنتاج‌های زیر در دستگاه استنتاج طبیعی برقرارند؟

$(\neg p) \vee (q \to p) \vdash \neg p \wedge q$

$(\neg r) \to (p \vee q),\ (r \wedge \neg q) \vdash r \to q$

$p \to (q \to r) \vdash p \to (r \to q)$

#natural-deduction#propositional-logic#derivability#logical-entailment#soundness-completeness#truth-table