推 turboho :this is true, consider contrapositive 03/12 00:38
推 mk426375 :假設q.r為假，則原句等價於p且非p 矛盾 03/12 01:15
這是我在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