Content deleted Content added
Tag |
|||
Line 4:
<!-- End of AfD message, feel free to edit beyond this point -->
{{Refimprove|date=January 2012}}
{
{{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'''). 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:
| |||