不会是矛盾式的。事实上，
(┐p→q)∧(q∧r)
<==> (┐┐p∨q)∧(q∧r)
<==> (p∨q)∧(q∧r)
<==> (p∧(q∧r))∨(q∧(q∧r))
<==> (p∧q∧r)∨(q∧r)
<==> (p∧q∧r)∨((┐p∨p)∧(q∧r))
<==> (p∧q∧r)∨(┐p∧(q∧r))∨(p∧(q∧r))
<==> (p∧q∧r)∨(┐p∧q∧r)
<==> q∧r
<≠=> 0
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024