《学逻辑真的有用吗逻辑学》一川山石旧

2、形式并不可靠

　　题目：请用真值表方法判定以下推理是否有效：
　　（如果我）没有调查研究，（那么我）就没有发言权；我调查研究了。所以，我当然有发言权。

　　本人be like：
　　盒盒连第一道题论证“一个有效的三段论，若小前提为全称否定命题，则大前提必须为全称肯定命题”都论证出来的我，列个表不算什么吧！

　　自信满满地列出表格
　　p q (p→q)^┐p→q
　　1 1 /
　　1 0 /
　　0 1 /
　　0 0 /

　　然后开始零零一，零一零，一零零，0101000010011110010010101010100……

　　我是一台报废的计算器。

　　十分钟算不对之后发现要看的是【(p→q)^┐p→q】这个式子真假，而不是从【(p→q)^┐p】的真假推q的真假。

　　说的也是啊13349！！你前面明明已经假设了q是真是假，怎么这个时候又变成推“已经确定的q”是真是假了呢你这个笨蛋！

　　再来！！归零归零
　　又是十分钟：怎么全是1呢……

　　（思考）（抬头）（恍然大悟）（捶胸顿足）：结论写错了，要推的是┐q啊！

　　速度写了一遍。
　　(p→q)^┐p→┐q

　　然后：呃这次怎么都是0呢……

　　要不然我还是靠直觉吧……

作者有话说

　　事实是……两个变量真假来回变产生四种情况，但在010101时候我忘了变另一个变量，所以01半天其实只算了两种情况……然后正确答案是四个结果之中有三个结果相同。
那当然很大概率是我随机算出的两种结果*2会踩中相同的三种，最后变成全一样的结果啊！！！