Definition
Conjunction Elimination Inference Rule (Propositional Hilbert Calculus)
In the propositional Hilbert calculus, conjunction has the following derived elimination inference rules, for arbitrary formulas
:
Conjunction Elimination Inference Rule (Propositional Hilbert Calculus)
In the propositional Hilbert calculus, conjunction has the following derived elimination inference rules, for arbitrary formulas
: