3
(A → B) → (¬B → ¬A)
Ну, я думаю, что пора у нас есть еще один проверочный вопрос. На этот раз мы собираемся доказать общеизвестную логическую истину ( A → B ) → ( ¬ B → ¬ A )(A→В)→(¬В→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Для этого мы будем использовать третью схему аксиом …
38
logic
proof-golf