大学数理逻辑题目 命题逻辑几位同学在一起聊天.小王出了一道题目让大家回答：“二加三在什么情况下不等于五?”小李说：“两只

答案是：“如果1加1不等于2,那么,2加3不等于5.”这是一个充分条件假言判断.我们已经知道,在充分条件假言判断中,前件是后件的充分条件,所以,当前件真（存在）、后件假（不存在）的时候,该判断必然是一个假的判断.但是,当其前件是假的时候,后件无论是真或假,该判断都可能是真的.也就是说,一个真的充分条件假言判断,当其前件真的时候,后件必真；当其前件假的时候,后件可真可假.一个真的充分条件假言判断的后件是假的时候,就必然要求其前件为假.这个命题,实际上是问在什么条件下,2加3不等于5.而“2加3不等于5”已知是一个假判断,为了使以这个题目为后件所构成的充分条件假言判断是一个真判断,那就必然要求其前件也是一个假判断.所以,要正确回答提出的问题,只要提出一个相应的假判断作为前件,而把“2加3不等于5”作为后件,从而结合成一个充分条件假言判断就可以了.
因此,答案不仅可以是“如果1加1不等于2,那么,2加3不等于5”,也可以把“1加1不等于2”换成“2加2等于5”、“2加3等于0”、“3加3不等于6”等.
类似的一些机变测试题也可以这样处理,如：要是有人把月球塞进大西洋,你说应该用什么方法才能取出来呢?把月球塞进大西洋,这是完全不可能成立的.但是,既然这是个前提条件,答案就很简单了：你是怎么放进去的,我就怎么拿出来.显而易见,这是借助假言判断法这个思维工具才能解决的问题.

错误的情况下

十进制范围中真值为假
四进制五进制范围中真值为真
2+3=11(10)