Question

逻辑学推理考题

非鸵鸟不是鸟，所以鸵鸟是鸟，写出推理形式，判断是否有效。。
3Q

Answer 1

此题的推理形式是：
非P->非Q
所以 ————
P—>Q
显然是错误的
因为命题成立不能推出否命题成立
此题正确的推理结论应该是
Q->P
即鸟是鸵鸟
命题推出逆否命题
因为命题和逆否命题是同真假的（当然，本题中的原命题显然不成立。不过既然有这个前提假设所以我们就不去管它的真假了）

Answer 2

（┒A->┒B）->(A->B)
真值表法，当A＝1,B＝0时（┒A->┒B）->(A->B)为0,因此无效