1. Rule of inferenceIn logic, a rule of inference, inference rule, or transformation rule is the act of drawing a conclusion based on the form of premises interpreted as a function which takes premises, analyses their syntax, and returns a conclusion. For example, the rule of inference modus ponens takes two premises, one in the form of "If p then q" and another in the form of "p" and returns the conclusion "q".
Read “Rule of inference” on English Wikipedia
Read “推論規則” on Japanese Wikipedia
Read “Rule of inference” on DBpedia
Read “Rule of inference” on English Wikipedia
Read “推論規則” on Japanese Wikipedia
Read “Rule of inference” on DBpedia
Discussions
Log in to talk about this word.