- sentential logic
- мат. пропозициональная логика
Большой англо-русский и русско-английский словарь. 2001.
sentential logic
Смотреть что такое "sentential logic" в других словарях:
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
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 connective — Logic. any of several words or their equivalent symbols used in logical formulas to connect propositions, as or, not, and, if and only if. * * * … Universalium
sentential function — Logic. an expression that contains one or more variables and becomes meaningful when suitable constant terms are substituted for them. Also called propositional function. [1945 50] * * * … Universalium
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
sentential — adjective Date: 1646 1. of or relating to a sentence < a relative clause with a sentential antecedent > 2. of, relating to, or involving a proposition in logic < sentential connective > … New Collegiate Dictionary
sentential function — noun formal expression containing variables; becomes a sentence when variables are replaced by constants • Hypernyms: ↑formula, ↑expression * * * noun : an expression that contains one or more free variables and becomes a declarative sentence… … Useful english dictionary
sentential — [sɛn tɛnʃ(ə)l] adjective Grammar & Logic relating to a sentence … English new terms dictionary
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 function — senten′tial func′tion n. logic pho an expression containing one or more variables that becomes meaningful when constant terms are substituted Also called open sentence propositional function Etymology: 1945–50 … From formal English to slang
