逻辑学的量化命题

来源:百度知道 编辑:UC知道 时间:2024/05/21 22:12:04
逻辑学 有 复合命题,直言命题,量化命题
我想知道量化命题中的谓词符号
除了F,G,R,S来表示之外
还有没有其它符号可以表示谓词符号
书上是这样说的
"谓词符号包括大写字母F,G,R,S等"
我开始不明白他为什么 不写 "ABCDEFG等这样有连接"
而写F.G.R.S这样不连接 我还以为某些有特定的字母

你出书上看见的吧。书上还说了公式用A,B,C,D表示是吗?其实我感觉这些都是很随意的。谓词符号本身就像一个变量,是可以自己指派的。

逻辑学来源于西方,这和英文有关系,你不明白了。我们中国太落后了。这就是例证。