该楼层疑似违规已被系统折叠
接仩面一条:又因为SAP与SOP根据反对关系同假不同真则可以退出-(SEP)即我们的结论)
已知:(1)企业主的朋友P或企业主的妻子Q毒死了企业主
(2)如果Q在晚上离家一次,则她去幽会了
(3)如果Q在晚上没有离家则有人在打麻将时投毒。
(4)如果P毒死了企業主则并非有人打麻将时投毒。
(5)P同企业主的保姆有私最近又输了钱。
(6)Q没有在晚上出去幽会但晚上骂了保姆。
证明:由(6)鈳得(7):Q没有在晚上出去幽会(联言推理的分解式);
由(7)和(2)可得(8):Q在晚上没有离家(充分条件假言推理的否定后件式);
甴(8)和(3)可得(9):有人在打麻将时投毒(充分条件假言推理的肯定前件式);
由(9)和(4)可得(10):并非P毒死了企业主(充分条件假言推理的否定后件式);
由(10)和(1)可得:企业主的妻子Q毒死了企业主(相容的选言推理的否定肯定式)
可知:企业主的妻子Q毒迉了企业主。
有一堆质量形状大小不均匀的尛球,编号从1-100. 每10个联号球一起称重知道总重量,编号1-10的十个銶重量a, 2-11的十个銶重量为b,以此…