用真值表来验证 是否为有效式。

用真值表来验证 是否为有效式。


【正确答案】：推理有效。
【题目解析】：如果一个推理形式有效，当且仅当具有此推理形式的任一推理都不会出现 前提真和结论假的情形。所以，本题推理有效。