正命题逻辑系统相关硕士博士期刊学术论文 - 信丰网

正命题逻辑系统相关论文

集合论等值悖论

利用造集谓词x∈x←→α,可以在经典正命题逻辑系统的基础上,构造出一个不同于Russell悖论和Curry悖论的集合论等值悖论。......

会议

概括原则造集谓词正命题逻辑系统集合论等值悖论

反证法与归谬法的现代分析

本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬......

期刊

反证法归谬法正命题逻辑系统排中律不矛盾律

看过本文同时还关注