( 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