作者b76516 (阿聪)
看板Grad-ProbAsk
标题[理工] [离散]-中央96-资工
时间Tue Jan 19 10:56:59 2010
请问一下
中央96离散第一题(a)小题
题目说L(x,y) 表示 x 喜欢 y
F(x,y) 表示 x 是 y 的朋友
H(y) 表示 y 是一个快乐的人
选出正确的逻辑叙述表示
A happy person is a person liked by some of his friends
选项（4）
对每个x(存在y,(L(y,x)^F(x,y))->H(x)) 这个是对的
那为什麽选项3
对每个x(对每个y,(L(y,x)->(~F(x,y)))->~H(x))这个答案也是对的呢？
谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.230.134.151
1F：推 taitin:L(y,x)->(~F(x,y)) 表示当y喜欢x的时候，x不是Y的朋友 01/19 17:44
2F：→ taitin:题目叙述H(x)<=>(L(y,x)^F(x,y)) 01/19 17:48
3F：→ taitin:若L(y,x)=true F(x,y)=false 01/19 17:49
4F：→ taitin:因此 (true^false)=false 01/19 17:50
5F：→ taitin:则~(L(y,x)^F(x,y)-> ~H(x) 01/19 17:51
6F：推 taitin:因为H(x)只可以被朋友喜欢 01/19 18:00