Category:Disjunction of Conditional and Converse
Jump to navigation
Jump to search
This category contains pages concerning Disjunction of Conditional and Converse:
- $\vdash \paren {p \implies q} \lor \paren {q \implies p}$
Pages in category "Disjunction of Conditional and Converse"
The following 3 pages are in this category, out of 3 total.