命题逻辑(命题逻辑推理规则)

导语：命题逻辑（十二）

假言命题（五）——必要条件假言命题

根据必要条件假言命题的上述性质，必要条件假言推理的有效式包括：

（Ⅰ）否定前件式：如果要肯定一个必要条件假言命题，并且否定其前件，则要否定其后件。

例:

①只有有水，才能种水稻。此处无水，所以此处不能种水稻。

②除非学好外语，才能当好翻译；某人没有学好外语，所以，某人不能当翻译。

③只有到过岭南的人，才能写出《渡汉江》；李频没有到过岭南，因此，李频没有写《渡汉江》。

（Ⅱ）肯定后件式：如果肯定一个必要条件假言命题，并且肯定其后件，则要肯定其前件。

例:

①无私才能无畏，某战士勇敢无畏，所以，某战士无私。

②只有学好外语，才能当好翻译家；傅雷是优秀翻译家，所以，傅雷学好了外语。

③只有到过岭南的人才能写出《渡汉江》；宋之问写了《渡汉江》，所以他到过岭南。

免责声明:本站部份内容由优秀作者和原创用户编辑投稿，本站仅提供存储服务，不拥有所有权,不承担法律责任。若涉嫌侵权/违法的，请反馈，一经查实立刻删除内容。本文内容由快快网络小悦创作整理编辑！