In this video we formally prove the tautology (A→¬A)→¬A in one of the classical hilbert systems of proof on propositional logic.
Негізгі бет Formal Proof of (A→¬A)→¬A in a Hilbert System
In this video we formally prove the tautology (A→¬A)→¬A in one of the classical hilbert systems of proof on propositional logic.
Пікірлер: 10