一个命题的逻辑结构分析

(整期优先)网络出版时间:2014-05-15
/ 1
考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.