很简单的其实。因为三个命题中只有一个是真的。
而2和3 是蕴含关系的,3可以推出2,2也不能否定3,
所以只能1是真的;2、3是假的命题
然后变成“有人会使用计算机”为真,问选项哪个为真就是这样的。
在逻辑学里面是用
由于矛盾关系具有不能同真不能同假的逻辑性质,因此,只要对任何方作否定,彼此就是等值关系。上面6组矛盾关系的判断都能转化为彼此是等值的判断。
(P→q)X (P∧┐q) ┐(P→q)←→ (P∧┐q)
(P∧q)X (P→┐q) (P∧q)←→ ┐(P∧┐q)
(P∧q)X(┐P∨┐q) ┐(P∧q)←→ (┐P∨┐q)
(P∨q)X (┐P∧┐q) (P∨q)←→ ┐(┐P∧┐q)
(P∧q)X(┐P←q) ┐(P←q)←→ (┐P∧q)
(P∧q)X(┐P←q) (P←q)←→ ┐(┐P∧q)
http://yyc549.blog.163.com/blog/static/756309882010101723359509/普通逻辑学的老师就是这样教我们带人公式去推导的