چه تعداد از فرمولهای گزارهای زیر، قضیهای از منطق گزارهای نیستند؟ الف) (~ A → A) → A ب) A → (~ A → B) ج) ((~ B → ~ A) → A) → ((~ B → A) → B) د) (A → B) → A

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

اهمیت

۰/۵

چه تعداد از فرمول‌های گزاره‌ای زیر، قضیه‌ای از منطق گزاره‌ای نیستند؟

الف) $(\sim A \to A) \to A$

ب) $A \to (\sim A \to B)$

ج) $((\sim B \to \sim A) \to A) \to ((\sim B \to A) \to B)$

د) $(A \to B) \to A$

#propositional-logic#tautology#validity#truth-table#implication#peirce-law