**Propositional calculus** — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia

**propositional calculus** — Logic. See sentential calculus. [1900 05] * * * Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its… … Universalium

**propositional calculus** — noun Date: 1903 the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only called also sentential calculus compare predicate calculus … New Collegiate Dictionary

**propositional calculus** — noun propositional logic … Wiktionary

**propositional calculus** — noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them • Syn: ↑propositional logic • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic … Useful english dictionary

**propositional calculus** — proposi′tional cal′culus n. math. pho sentential calculus • Etymology: 1900–05 … From formal English to slang

**propositional calculus** — /prɒpəˌzɪʃənəl ˈkælkjələs/ (say propuh.zishuhnuhl kalkyuhluhs) noun that part of modern logic which systematises the relations between unanalysed propositions … Australian English dictionary

**Implicational propositional calculus** — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia

**Frege's propositional calculus** — In mathematical logic Frege s propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who also invented predicate calculus, in 1879 as part of his second order predicate calculus (although… … Wikipedia

**implicational propositional calculus** — noun A minimalist version of propositional calculus which uses only the logical connectives ( implies ) and ( false ) … Wiktionary