命题逻辑(命题逻辑包括哪些)

在生活中，很多人可能想了解和弄清楚命题逻辑（十二）的相关问题？那么关于命题 逻辑的答案我来给大家详细解答下。

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

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

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

例:

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

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

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

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

例:

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

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

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

温馨提示：通过以上关于命题逻辑（十二）内容介绍后，相信大家有新的了解，更希望可以对你有所帮助。