Logical implication

MyWikiBiz, Author Your Legacy — Wednesday December 25, 2024
Revision as of 14:20, 21 May 2007 by Jon Awbrey (talk | contribs) (copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

The logical implication and the material conditional are both associated with an operation on two logical values, typically the values of two propositions, that produces a value of false if and only if the first operand is true and the second operand is false.

The truth table associated with the material conditional if p then q (symbolized as p → q) and the logical implication p implies q (symbolized as p ⇒ q) is as follows:

Logical Implication
p q p ⇒ q
F F T
F T T
T F F
T T T


See also

Logical operators

Related topics