排序方式： 共有1条查询结果，搜索用时 0 毫秒
1
1.
在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。 相似文献
1