ConditionalDisjunction.md (122B)
1 # Conditional Disjunction 2 3 1.3.2 4 5 **Definition:** The conditional disjunction rule states $p \to q \equiv \neg p \vee q$.
