MrL槑槑

翻译推理 一、翻译规则之“前推后” 二、推理规则之“逆否等价” 三、翻译规则之“后→前” 四、且和或 五、推理规则之“德·摩根定律” 六、推理方式