Please enable JavaScript.
Coggle requires JavaScript to display documents.
Logic (Definitions (Original implication (If p Then q), Converse (If q…
Logic
Definitions
Original implication
If p Then q
Converse
If q Then p
Inverse
If not p Then not q
Contrapositive
If not q Then not p
Logical equivalency
When implications have identical truth values
The original and Contrapostive or The converse and the Inverse
Biconditional implication
"p if and only if q"; meaning p implies q and q implies q
Tautology
A compound statement which is true for all possibilities in the truth table
Logical contradiction
A compound statement which is false for all possibilities in the truth table.
Truth tables
