上一页

ⓘ Category:谓词逻辑




                                               

谓词变量

在第一阶逻辑,一个判断变量是一种表示之间的关系谓信,这种关系没有被专门分配给任何特定的关系)。 在第一阶逻辑,他们可以更适于称为"meta-变量"。 在高阶的逻辑,一个判断变量对应的"建议变量",它可以表示同样的逻辑适合公式,这个变量可以通过第二阶量的方式量化。 在元变量的意义上,所谓的变量可用来界定公理模式。 谓的变量,应当区别谓的常数,它可以表示为通过不同的专属谓语字母的收集、要么根据其条款域实际上拥有自己的特殊意义的符号:例如=,∈,≤,

用户还搜索了:

...
...
...