随轩
1、T→O，O，所以T。自己用真值表验证。 这一推理显然是错的，“T→O为真”当且仅当“并非T真且O假”。当O为真时，无论T怎样，T→O总为真，所以O为真对判断T的真假并无帮助。倒是“T→O，﹁O，所以﹁T”这一推理是正…