连接词化规律怎么证明

时间：2024-01-24 17:58:12 阅读：最新文章文档下载

说明：文章内容仅供预览，部分内容可能不全。下载后的文档，内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的，是否完整无缺。

连接词化规律怎么证明

证明一个连接词集合X不是完全集，没有通用的方法，含有2个原子变元的命题公式中,有16种不等值的命题公式(函数),已知连接词集合{非，析取，合取}是一个完全集，如果你能选择一个由连接词“非，析取，合取”构成的命题公式A，能证明由原子变元P，Q通过该集合X中的连接词不能构造出与命题公式A等值的公式，则该连接词集合就不是完全集，如何选择这样的命题公式A，如何证明由X中连接词集合中的连接词构造不出与A等值的公式，都需要有智慧和丰富的经验，如证明{析取}不是完全集，你可以选择“非P”，无论P，Q如何利用“析取”连接词构造多么复杂的公式不能得到与“非P”等值（等价）的公式即可。