Hilbert-style proof Calculus for Propositional Logic in ABC notation
Matheus Pereira Lobo · 2019
All nine axioms and a single inference rule of logic (Modus Ponens) within the Hilbert axiomatic system are presented using capital letters (ABC) in order to familiarize the beginner student in hers/his first contact with the topic.