谓词
逻辑
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
外部网站
了解这个话题在这些文章中:
亚里士多德的范畴
直言三段论
-
…否定(“不”),(5)一个谓词。命题可分析的用这种方法后来被称为直言命题,分为一个或另一个下面的形式:
阅读更多
存在
弗雷格的逻辑
-
…的argument-place谓词;自从弗雷格逻辑中使用的符号,argument-place由一个变量的信,说x量词,结果表达式前缀,“为每一个x”或“对一些x“绑定”说:“这个变量)。他通过这个符号…
阅读更多 -
…“完成”或“饱和”的表情,和谓词是不完整或不饱和表达式。谓词函数,类似于函数的数学;因此,…是一个讲师和…爱…类似于…×4(…乘以4)。结果应用谓词…×4的数字3是一个表情,12,…
阅读更多 -
…小心使用量词和谓词(尽管谓词被描述为函数,暗示Lambert)的技术。它没有显示跟踪的影响,布尔和小老德国传统的符号逻辑的踪迹。可以推测,弗雷格是熟悉仰卧的莱布尼茨的讨论,…
阅读更多