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