有一半人爱吃荤的 一半人爱吃素的 爱吃素的都爱吃豆皮
4个回答

首先符号化

爱吃素的人:P

爱是荤的人:﹁P (由题意知道爱吃荤的人就是不爱吃素的人)

爱吃豆皮的人:Q

不爱吃豆皮的人:﹁Q

爱吃素的人都爱吃豆皮:(P→Q)∧(Q→P)

吃荤的不爱吃豆皮:(﹁P→﹁Q)∧(﹁Q→﹁P)

那么就是由前提:(P→Q)∧(Q→P) 得出结论:(﹁P→﹁Q)∧(﹁Q→﹁P)

证明:

(P→Q)∧(Q→P)(﹁P∨Q)∧(﹁Q∨P)(Q∨﹁P)∧(P∨﹁Q)(﹁Q→﹁P)∧(﹁P→﹁Q)

(﹁P→﹁Q)∧(﹁Q→﹁P)