rule of inference


Get Babylon's Translation Software! Free Download Now!

Wikipedia English The Free EncyclopediaDownload this dictionary

Rule of inference
In logic, a rule of inference is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises) and the value the conclusion. They can also be viewed as relations holding between premises and conclusions, whereby the conclusion is said to be inferable (or derivable or deducible) from the premises. If the premise set is empty, then the conclusion is said to be a theorem or axiom of the logic.
See more at Wikipedia.org...

This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License


Define rule of inference

Translate rule of inference




| rule of inference in Italian | rule of inference in German | rule of inference in Greek | rule of inference in Serbian