充分必要条件假言推理

---

逻辑学术语。指由充分必要条件假言判断为大前提组成的假言推理。如：“当且仅当，如果月球运行于太阳和地球之间成一直线时，地球上相应的区域就会出现日蚀，现在月球已运行到太阳和地球之间并且成一条直线，所以现在地球的相应区域出现了日蚀。”它的符号结构式是：pq，p，q。它的正确式是：
❶ 肯定前件可肯定后件，否定前件可否定后件；
❷ 肯定后件可肯定前件，否定后件可否定前件。