Definition
Conjunction Introduction Inference Rule (Propositional Hilbert Calculus)
In the propositional Hilbert calculus, conjunction has the following derived introduction inference rule, for arbitrary formulas
:
Conjunction Introduction Inference Rule (Propositional Hilbert Calculus)
In the propositional Hilbert calculus, conjunction has the following derived introduction inference rule, for arbitrary formulas
: