形式推理

1. 充分条件翻译
   A -> B
   如果A，那么B
   若A，则B
   只要A，才B
   一旦A，就B
   A, 就B
   A必须B
   所有A都是B

2. 必要条件翻译
   B -> A
   只有A 才B。只有才，后推前
   没有A就没有B。
   不A，就不B
   A是B的前提
   A是B的基础
   A对于B补课或缺
   除非A，否则非B

3. 假言命题推理
   前提： A -> B 为真
   规则：

4. 肯前必肯后。如果A成立，则B一定成立

5. 否后必否前。如果B不成立，则A一定不成立

6. 否前未必否后。如果A不成立，B可能成立也可能不成立。

7. 肯后未必肯前。如果B成立，A可能成立也可能不成立。

8. 假言命题等价
   A -> B = !B -> !A = !A || B

9. 假言命题矛盾

10. 假言命题串联
    A -> B + B -> C + C-> D
    A->B->C->D

11. 假言命题归谬
    条件: 如果A, 那么B; 如果A, 那么非B.
    结论: A假

条件:如果A, 那么B; 如果!A, 那么B.
结论: B真

8. 联言命题翻译

9. 联言命题推理

10. 联言命题矛盾

11. 相容性选言命题翻译
    A || B

12. 或/或者

13. 至少一个

14. 也许...也许...

15. 可能...可能...

16. 相容性选言命题推理

17. 否一推一

18. 相容性选言命题矛盾

19. 不相容性选言命题推理

20. 不相容选言命题矛盾

21. 直言命题概念

22. 直言命题的反对关系

23. 直言命题交叉

24. 直言命题推出

25. 直言命题换位

26. 直言命题质位互换

27. 直言命题结论韦恩图

28. 直言命题结论箭头法

29. 直言命题前提箭头法

30. 直言命题前提规则法

31. 单称模态命题等价

32. 非单称模态命题等价

33. 复言命题综合推理