سوال ۹۵ کنکور ارشد علوم کامپیوتر ۱۴۰۲ — کدام‌یک از فرمول‌های زیر، راستگو (همیشه درست) نیست؟

Question

کدام‌یک از فرمول‌های زیر، راستگو (همیشه درست) نیست؟

Accepted Answer

((A → B) ∧ B) → A

Answer

(A → B) → ((B → C) → (A → C))

Answer

((A → B) ∧ A) → B

Answer

(A → B) → ((C → A) → (C → B))