作业帮 > 数学 > 作业

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

来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/05/02 02:34:48
有一半人爱吃荤的 一半人爱吃素的 爱吃素的都爱吃豆皮
求证:吃荤的不爱吃豆皮.
大概是这个意思!
有一半人爱吃荤的 一半人爱吃素的 爱吃素的都爱吃豆皮
首先符号化
爱吃素的人: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)