The SlugMath Wiki is under heavy development!
State/A OR B is logically equivalent to NOT A IMPLIES B
Fact: (A OR B is logically equivalent to NOT A IMPLIES B) Suppose that $A$ and $B$ are sentences, i.e., well-formed formulas without any free variables The sentence "$A$ OR $B$" is logically equivalent to the sentence "NOT $A$ IMPLIES $B$".
The following statements and definitions rely on the material of this page:
To visualize the logical connections between this statements and other items of mathematical knowledge, you can visit the following cluster(s), and click the "Visualize" tab: Clust/Logic and foundations