- propositional calculus
-
исчисление высказываний
Англо-русский словарь технических терминов. 2005.
propositional calculus
Смотреть что такое "propositional calculus" в других словарях:
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 — The logical calculus whose expressions are letters representing sentences or propositions, and constants representing operations on those propositions, to produce others of higher complexity. The operations include conjunction, disjunction,… … Philosophy dictionary
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 …
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
