Axiom schemas for the Hilbert-style calculus. These represent the fundamental axioms of propositional logic in Hilbert's system.
Implication Introduction
Implication Distribution
Implication Reversal
Implication Elimination
Axiom schemas for the Hilbert-style calculus. These represent the fundamental axioms of propositional logic in Hilbert's system.