Question

有一半人爱吃荤的 一半人爱吃素的 爱吃素的都爱吃豆皮

Answer 1

首先符号化

爱吃素的人：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)