Conditional statement (logic): Difference between revisions

Revision as of 09:23, 17 January 2012

Revision as of 04:36, 22 January 2012

Line 16:

* <math>p \rightarrow q</math>

As a proposition, a conditional statement is either [[truth|true]] or false. A conditional statement is true [[if and only if]] the conclusion is true in every case that the hypothesis is true. A conditional statement is false if and only if a [[counterexample]] to the conditional statement exists. A counterexample to a conditional statement exists if and only if there is a case in which the hypothesis is true, but the conclusion is false. (whichA counterexample is to say, a conditional statement is true whenever the antecedent is false, or when the consequent andspecial antecedenttype areof bothpossible true)case.

Examples of conditional statements include: