Пример. Доказать, что в теории с системой аксиом II формула

(¬B → ¬A) → (A → B)

является тавтологией.

Решение. Назад