作者yuchiao0921 (挑战在我就在)
看板Math
标题[离散] 逻辑
时间Sat Mar 12 00:06:40 2011
这是我在discrete mathematics and its applications 6th edition p66
中间的表格看到的
[(p\/q)/\(─p\/r)]→(q\/r)
ps \/=or /\=and ─=not
请问这个式子成立吗
我画truth table跟上面的式子不合
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.38.106.220
1F：推 turboho :this is true, consider contrapositive 03/12 00:38
2F：推 mk426375 :假设q.r为假，则原句等价於p且非p 矛盾 03/12 01:15