| 单词 | sentential calculus |
| 释义 | > as lemmassentential calculus b. Logic. In collocations denoting logical operations relating to sentences or propositions; esp. as sentential calculus, sentencial connective, sentencial function. Cf. propositional adj. Compounds. ΚΠ 1937 A. Smeaton tr. R. Carnap Logical Syntax Lang. iii. 91 Primitive sentences of the sentential calculus. 1937 A. Smeaton tr. R. Carnap Logical Syntax Lang. iii. 138 Frege himself had already made a similar classification of all sentential functions into levels and kinds which also were arranged according to the kinds of their arguments. 1957 P. Suppes Introd. to Logic iii. 43 We have developed the logic of the sentential connectives. 1966 Math. Rev. Jan. 7/1 The author presents a set of nine axiom schemes and two rules for the predicate calculus based on the infinite-valued sentential calculus of Lukasiewicz. 1976 G. Evans in Evans & McDowell Truth & Meaning viii. 215 Intuitionistic sentential connectives cannot be regarded as representing truth functions in any finite many-valued logic. 1976 A. R. Lacey Dict. Philos. 75 x is red can be called a propositional, statemental (rare) or sentential function, according as blood is red is regarded as a proposition, statement or sentence. Sentential functions are often called open sentences. The term closed sentential function is occasionally used of ordinary sentences. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。