| 释义 |
propositional calculus
propositional calculusn. The branch of symbolic logic that deals with the relationships formed between propositions by connectives such as and, or, and if as opposed to their internal structure.propositional calculus n (Logic) the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure. Compare predicate calculus senten′tial cal′culus
n. the branch of symbolic logic that deals with the logical relations between unanalyzed propositions, as conjunction, disjunction, negation, and implication. Compare functional calculus. Also called propositional calculus. [1935–40] Thesaurus| Noun | 1. | propositional calculus - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate thempropositional logicformal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity |
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. 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 calculuspropositional logicpropositional calculus
Synonyms for propositional calculusnoun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate themSynonymsRelated Words- formal logic
- mathematical logic
- symbolic logic
|