作者totopi (totopi)
看板logic
标题Re: [请益] 简易语意逻辑
时间Sat Aug 20 01:49:26 2005
※ 引述《nEOpReNCeDo (justNeo)》之铭言：
: 因为
: 你在这
: 我才来
: 是指
: 我来===>你在这
: (充分) (必要)
: 是这样意思吧?
: 唔....还是iff >"<
你想的对了，可是符号不能这样写喔。
你在这 P
我来 Q
P--> Q
当上一句成立，也就是有效时，
我们称P为充分条件，而Q则是使这句有效的必要条件。
但是呢，P--> Q 不等於 Q----> P
所以你上面指的 我来----> 你在这 是另外一个语句喔。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.170.22.91