Difference between revisions of "Conditional"

(adding see also)
Line 14: Line 14:
 
| F || F || T
 
| F || F || T
 
|}
 
|}
 +
 +
== See Also ==
 +
*[[Converse]]
 +
*[[Contrapositive]]
 +
*[[Inverse]]

Revision as of 20:13, 7 July 2006

A conditional is used in logic for two statements. When the statements are represented by variables, the variables usually are p, q, and so forth. An arrow represents the conditional. An arrow with one shaft and two shafts are both widely used. An example of a conditional using p and q would be denoted $p \rightarrow q$ or $p \Rightarrow q$ and read "if p, then q." The first statement, p, is called the antecedent while the second statement, q, is called the consequent. A conditional is considered true when the antecedent and consequent are both true or if the antecedent is false. When the antecedent is false, the truth value of the consequent does not matter; the conditional will always be true. A conditional is considered false when the antecedent is true and the consequent is false. Below, the truth values of the conditional for all possibilities of the antecedent and consequent being true or false are represented in a truth table.

Truth table for a conditional
P Q PQ
T T T
T F F
F T T
F F T

See Also

Invalid username
Login to AoPS