Conditional statement (logic): Difference between revisions

Revision as of 23:32, 16 January 2012

Revision as of 23:36, 16 January 2012

Line 11:

* <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 (that is, ita conditional statement is a [[material conditional]]). 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.

Examples of conditional statements include: