( 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