Content deleted Content added
Yes it has. That quote applies to indicative conditionals in English; this article is about propositions. And the definition given in this article is equivalent to the standard material conditional truth table Tag: references removed |
Hanlon1755 (talk | contribs) No edit summary |
||
Line 7:
{{Expert-subject|Mathematics|date=January 2012}}
{{Wikify|date=January 2012}}
In [[philosophy]], [[logic]], and [[mathematics]], a '''conditional statement''' is a [[proposition]] that can be written in the form "If ''p'', then ''q''," where ''p'' and ''q'' are propositions. The proposition immediately following the word "if" is called the hypothesis (also called antecedent). The proposition immediately following the word "then" is called the conclusion (also called consequence). In the aforementioned form for conditional statements, ''p'' is the hypothesis and ''q'' is the conclusion. A conditional statement is often called simply a '''conditional''' (also called an '''implication'''). Unlike the [[material conditional]], a conditional statement need not be truth-functional.<ref>Barwise and Etchemendy 1999, p. 178-179</ref> Conditional statements are often [[symbolic logic|symbolized]] using an arrow (→) as ''p'' → ''q'' (read "''p'' implies ''q''"). The conditional statement in symbolic form is as follows:
* <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
Examples of conditional statements include:
| |||