Implication-free fragment of intuitionistic propositional logic
= Implication-free fragment of intuitionistic propositional logic
{title2=$\mathrm{IPC}\setminus\{\to\}$}
The implication-free fragment uses only conjunction, disjunction, truth, and falsity, with their intuitionistic natural-deduction rules.