Definition
Disjunction Introduction Inference Rule (Propositional Hilbert Calculus)
In the propositional Hilbert calculus, disjunction has the following derived introduction inference rules, for arbitrary formulas
:
Disjunction Introduction Inference Rule (Propositional Hilbert Calculus)
In the propositional Hilbert calculus, disjunction has the following derived introduction inference rules, for arbitrary formulas
: