- sentential calculus
- исчисление высказываний
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
sentential calculus — noun Etymology: translation of German satzkalkül : propositional calculus * * * the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations… … Useful english dictionary
sentential calculus — the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations of more elementary statements. Also called propositional calculus, sentential… … Universalium
sentential calculus — senten′tial cal′culus n. pho 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 … From formal English to slang
sentential calculus — noun Date: 1937 propositional calculus … New Collegiate Dictionary
sentential calculus — /sɛnˌtɛnʃəl ˈkælkjələs/ (say sen.tenshuhl kalkyuhluhs) noun any symbolic systematic set of rules for joining or dividing sentences to form other sentences …
sentential function — A predicate may be thought of as a function from a single term to a sentence, and hence can be called a sentential function. Also, the truth functional connectives are occasionally thought of as functions from sentences to sentences, although… … Philosophy dictionary
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
functional calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑predicate calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… … Useful english dictionary
functional calculus — the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.… … Universalium
functional calculus — func′tional cal′culus n. math. pho the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers Also called… … From formal English to slang