Propositional Calculus

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.

McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

propositional calculus

propositional logic

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

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).

The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.