Formal Proof of (A→¬A)→¬A in a Hilbert System

Published: 07 August 2022
on channel: Elliot Nicholson
6,138
101

In this video we formally prove the tautology (A→¬A)→¬A in one of the classical hilbert systems of proof on propositional logic.


Watch video Formal Proof of (A→¬A)→¬A in a Hilbert System online without registration, duration hours minute second in high quality. This video was added by user Elliot Nicholson 07 August 2022, don't forget to share it with your friends and acquaintances, it has been viewed on our site 6,138 once and liked it 101 people.