【形式逻辑】形式逻辑的核心要点

一、整体结构

 

 

二、知识总结

2.1、判断

中国是北京的首都。 P 结果：true/false

2.2、负判断

并非中国是北京的首都。 ¬P 结果：true/false

矛盾关系：P和 ¬P 就是一对矛盾关系，两者必有一真一假

2.3、联言判断

2.4、选言判断

 

2.5、选言和联言互转

德摩根定律，就是对一种逻辑的负判断，让否判断成立

小李和小王都提报，对其的否定。

小李和小王都不提报，对其的否定。

小李和小王至少提报一个，对其的否定。

小李和小王至多提报一个，对其的否定。

小李和小王只能提拔一个，对其的否定。

 

 

2.6、假言判断-（充分条件假言 和 必要条件假言）

假言判断：断定一个事务/情况的存在，是另一个事务/情况存在的条件

假言判断表明的是逻辑关系，不是事实。

 

2.7、假言判断-（充分必要条件假言）