Converse implication

Converse implication is the converse of implication. That is to say; that for any two propositions 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

Definition

Truth table

The truth table of A⊂B


a	b	⊂
T	T	T
T	F	T
F	T	F
F	F	T

Venn diagram

The Venn diagram of "If B then A" (the white area shows where the statement is false)

Properties

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.

Natural language

"Not q without p."

"p if q."

Boolean Algebra

(A + B')

Logical connectives

Tautology $\top$

NAND $\uparrow$ Converse implication $\leftarrow$ Implication $\rightarrow$ OR $\or$

Negation $\neg$ XOR $\oplus$ Biconditional $\leftrightarrow$ Statement

NOR $\downarrow$ Nonimplication $\nrightarrow$ Converse nonimplication $\nleftarrow$ AND $\and$

Contradiction $\bot$

This article is issued from Wikipedia - version of the Saturday, April 05, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.