( A and not not A ) v ( B and not B ) 這樣算矛盾嗎? 在推論過程中似乎不能直接拿來當矛盾 那要怎麼推出來呢 題目: 1. [D and (G v not G)] -> (K v L) 2. L -> (R and not R) implies D -> K 卡很大... -- Plurk: http://plurk.com/epmud/invite Facebook: http://www.facebook.com/Epmud --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.123.28.113