Cn(1≤n＜ω)及Cω中的否定

论文简介

在对当关系逻辑中,命题A与命题△A之间是一种下反对关系.在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定也都具有这些性质,从而得出,弗协调逻辑中的否定是一种特殊的下反对关系算子.

论文截图

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。