排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
毛俊发 《内蒙古师范大学学报(哲学社会科学版)》1990,(2)
本文认为关于复合判断等值证明的方法,除一般常用的真值表法外,还有转换法与负判断法。所谓转换法是指将一种复合判断转换成另一种复合判断,以观其是否等值的方法。所谓负判断法是指将负判断引入证明过程,推出负判断,以观其是否等值的方法。 相似文献
1