3
(A → B) → (¬B → ¬A)
Bem, acho que já é hora de termos outra questão de prova de golfe . Desta vez, vamos provar a conhecida verdade lógica (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Para fazer isso, usaremos o terceiro Axiom Schema de Łukasiewicz , um conjunto incrivelmente elegante de três axiomas …
38
logic
proof-golf