很显然这是一个p且q推出r的联言命题,
不妨设:p=线路畅通,q=没停电,r=电灯亮:
由于p∧q→r,根据摩根定律可得:
┐r→┐(p且q)=┐p或┐q=┐p∨┐q(电灯不亮,要么线路不通,要么停电)
现在是“一定是线路不通”,也就是┐p,根据不相容选言推理:
要么┐p,要么┐q
并非()
___________
所以,┐p
得到括号里的是┐q,括号里指的是“停电”
上面就可以翻译成:电灯不亮,要么线路不通,要么停电;现在没停电,一定是线路不通了
其实“如果a并且b,则c”是直接就能得到“a并且非c,因此非b”,这可以当做定理来用的.