当前位置：首页 >
离散数学(02324) > 正文内容
符号化下列命题，并构造推理证明。任何人如果他是素食者，他就不喜欢吃肉；每一个人或者喜欢吃肉或者喜欢吃蔬菜；有的人不爱吃蔬菜。因而不是所有的人都是素食者。
符号化下列命题，并构造推理证明。任何人如果他是素食者，他就不喜欢吃肉；每一个人或者喜欢吃肉或者喜欢吃蔬菜；有的人不爱吃蔬菜。因而不是所有的人都是素食者。
设个体域是全体人类；
F(x)：x是素食者；
M(x):x喜欢吃肉;
H(x):x喜欢吃蔬菜。
(注:本题证明过程不唯一)
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。