推理形式

翻译推理的核心是“形式有效”，即只看结构不看内容。常见形式有肯前肯后、否后否前、否前肯后无效式。解题步骤：先翻译（将自然语言转为“→”），再推理（按规则变形）。牢记“肯前必肯后，否后必否前，否前肯后无必然”。