Rule Antecedent
Jump to navigation
Jump to search
A rule antecedent is a logic sentence within a conditional logic rule that needs to be satisfied in order for the rule consequent to be true.
- AKA: Antecedent, Antecedent Statement.
- Context:
- Counter-Example(s)
- a Rule Consequent, such as Affirming the Antecedent.
- a Rule of Inference.
- See: Anaphor, Conjunctive Normal Form.
References
2009
- http://en.wikipedia.org/wiki/Antecedent_%28logic%29
- An antecedent is the first half of a hypothetical proposition.
- Examples:
- If P, then Q.
- This is a nonlogical formulation of a hypothetical proposition. In this case, the antecedent is P, and the consequent is Q.
- If X is a man, then X is mortal.
- http://www.coli.uni-saarland.de/projects/milca/courses/comsem/xhtml/d0e1-gloss.xhtml
- antecedent Calculi: The antecedents (also called ↗premises) of a rule of a calculus are those formulas that must already have been derived for the rule to be applicable. In standard notation, they are written above the bar in inference rule schemata.
- CYC Glossary http://www.cyc.com/cycdoc/ref/glossary.html
- antecedent: The antecedent of a rule is its left-hand side, that is, the first argument to the #$implies connective with which the rule begins. Intuitively, every rule states that if the antecedent is true, then the consequent must be true.