Converse implication
Encyclopedia
Converse implication is the converse of implication. That is to say; that for any two proposition
s P and Q, if Q implies P, then P is the converse implication of Q.
It may take the following forms:
of A⊂B
of "If B then A" (the white area shows where the statement is false)
Proposition
In logic and philosophy, the term proposition refers to either the "content" or "meaning" of a meaningful declarative sentence or the pattern of symbols, marks, or sounds that make up a meaningful declarative sentence...
s P and Q, if Q implies P, then P is the converse implication of Q.
It may take the following forms:
-
- p⊂q, Bpq, or p←q
Truth table
The truth tableTruth table
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—to compute the functional values of logical expressions on each of their functional arguments, that is, on each combination of values taken by their...
of A⊂B
| a | b | ⊂ |
|---|---|---|
| T | T | T |
| T | F | T |
| F | T | F |
| F | F | T |
Venn diagram
The Venn diagramVenn diagram
Venn diagrams or set diagrams are diagrams that show all possible logical relations between a finite collection of sets . Venn diagrams were conceived around 1880 by John Venn...
of "If B then A" (the white area shows where the statement is false)