有一半人爱吃荤的一半人爱吃素的爱吃素的都爱吃豆皮求证：吃荤的不爱吃豆皮.大概是这个意思!

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)