| 单词 | predicate variable |
| 释义 | > as lemmaspredicate variable predicate variable n. ΚΠ 1934 Mind 43 75 The operation of predication is represented by placing the predicate-variable before the subject-variables, of which is it predicated. 1955 A. N. Prior Formal Logic ii. iii. 158 The nearest thing to a general term-variable in the functional calculus is the predicate-variable (ϕ, etc.). 2004 Bull. Symbolic Logic. 10 158 Let F be a predicate variable, and let ρ(x,y) be a formula with x and y free. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。