BabelNet

bn:01870560n

Noun Concept

Categories: Propositional calculus, Formal systems, Syntax (logic), Inference, Logical expressions

rule of inference list of rules of inference consecution inference rule inference rules

In philosophy of logic and logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion. Wikipedia

Definitions

Relations

Sources

Systematic logical process capable of deriving a conclusion from hypotheses Wikidata

IS A

HAS KIND

HAS INSTANCE

universal instantiation

+28 relations

DESCRIBED BY SOURCE

The Free Dictionary

Wikipedia

rule of inference

Wikidata

list of rules of inference, rule of inference

Wikipedia Redirections

inference rule, inference rules, Law of logic, Laws of Logic, rules of derivation, rules of inference, rules of logic, transformation rule, transformation rules, Universal Variables

Wikidata Alias

consecution, inference rule, rule of deduction, transformation rule