展开 如何用真值表判断推理有效性