Propositional Calculus


Also found in: Dictionary, Thesaurus, Legal, Wikipedia.

propositional calculus

[‚präp·ə′zish·ən·əl ′kal·kyə·ləs]
(mathematics)
The mathematical study of logical connectives between propositions and deductive inference. Also known as sentential calculus.

Propositional Calculus

 

a branch of mathematical logic in which the formal axiomatic method is used to study complex (compound) propositions, which are put together from simple (elementary, unanalyzable) propositions with the help of the logical connectives “and,” “or,” “if… then,” and “not.” Moreover, the goal is set of determining propositional forms of general significance in one sense or another, that is, those formulas that upon any substitution of propositions in place of the variables give propositions that are true in the appropriate sense.


Propositional Calculus

 

a branch of mathematical logic that studies the logical forms of compound propositions formed from simpler propositions by means of such connectives as “and”; “or”; “if …, then …”; and “not” (negation).

propositional calculus

References in periodicals archive ?
If you apply the rule to a tautology of propositional calculus, then you obtain a tautology of propositional calculus with the natural implication.
Although I consider certain propositions that could play a role in a formal propositional calculus based on intensional principles, I do not intend to develop a formal calculus here.
Jaskowski, whose aim was to find a relatively rich system of propositional calculus that did not entail the triviality of all contradictory theories.
It is almost completely devoted to the project of formalization, i.e., the problem of how to translate English sentences and arguments into some formal languages which, like P (the language of Propositional calculus), Q (the language of Predicate calculus) and some modal extensions of them, are thought to display those features of natural languages that are relevant to validity.
Because the logic background of our approach is the intuitionistic propositional calculus, we refer to our approach as propositional logic programming.