It may take the following forms:
- p⊂q, Bpq, or p←q
The truth table of A⊂B
The Venn diagram of "If B then A" (the white area shows where the statement is false)
truth-preserving: The interpretation under which all variables are assigned a truth value of 'true' produces a truth value of 'true' as a result of converse implication.
|This section is empty. You can help by adding to it. (July 2010)|
"Not q without p."
"p if q."
(A + B')
|This logic-related article is a stub. You can help Wikipedia by expanding it.|