PROPOSITIONALCALCULUS

Propositional calculus

In mathematical logic, a propositional calculus or logic is a formal system in which formulas of a formal language may be interpreted to represent propositions. A system of inference rules and axioms allows certain formulas to be derived. These derived formulas are called theorems and may be interpreted to be true propositions. Such a constructed sequence of formulas is known as a derivation or proof and the last formula of the sequence is the theorem. The derivation may be interpreted as proof of the proposition represented by the theorem.

The above text is a snippet from Wikipedia: Propositional calculus
and as such is available under the Creative Commons Attribution/Share-Alike License.

propositional calculus

Noun

  1. propositional logic.


The above text is a snippet from Wiktionary: propositional calculus
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!