Difference between revisions of "Conditional"
(adding see also) |
I like pie (talk | contribs) m |
||
(4 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
− | A conditional is used in [[logic]] for two statements. When the statements are represented by [[variable|variables]], the variables usually are p, q, and so forth. An arrow represents the conditional. | + | A '''conditional''' is used in [[logic]] for two statements. When the statements are represented by [[variable|variables]], the variables usually are <math>p</math>, <math>q</math>, and so forth. An arrow represents the conditional. Both an arrow with one shaft and two shafts are widely used. An example of a conditional using <math>p</math> and <math>q</math> would be denoted <math>p \rightarrow q</math> or <math> p \Rightarrow q</math> and read "if <math>p</math>, then <math>q</math>." The first statement, <math>p</math>, is called the [[antecedent]] while the second statement, <math>q</math>, 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 | |+ Truth table for a conditional | ||
Line 18: | Line 18: | ||
*[[Converse]] | *[[Converse]] | ||
*[[Contrapositive]] | *[[Contrapositive]] | ||
− | *[[ | + | *[[Logical inverse]] |
+ | |||
+ | [[Category:Definition]] |
Latest revision as of 15:40, 19 April 2008
A conditional is used in logic for two statements. When the statements are represented by variables, the variables usually are , , and so forth. An arrow represents the conditional. Both an arrow with one shaft and two shafts are widely used. An example of a conditional using and would be denoted or and read "if , then ." The first statement, , is called the antecedent while the second statement, , 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.
P | Q | P ⇒ Q |
---|---|---|
T | T | T |
T | F | F |
F | T | T |
F | F | T |