逻辑判断基础
等价关系
推出关系
1）所有S都不是P<--->所有P都不是S
2）有的S是P(交叉关系)<--->有的P是S
1）所有的S都是P--->有的S是P--->有的P是S
2）所有的S都是P--->有的S是P--->某个S是P
必要条件假言命题
只有才，后推前
选言命题
一真为真，全假必假
联言命题
一假必假，全真为真
充分条件假言命题
如果就，前推后
逆否命题
肯前必肯后，否后必否前，否前肯后不必然
P是Q的充分条件
P必须Q
所有P都Q
P离不开Q
若P，则Q
只要P，就Q
如果P，那么Q
不P，不Q
除非P，否则不Q
只有P，才Q
P是Q的必要条件
P是Q的基础/前提
递推
A--->B，B--->C，则A--->C
既······又······（表并列）
不仅······也······（表递进）
······且······
虽然······但是······（表转折）
······或······
······至少有一个······
······不都是······
摩根定律
去括号，分负号，且或互变
~(A且B)=~A或~B
~(A或B)=~A且~B
否定肯定式
否定一支，肯定另一只
A或B
~A--->B
~B--->A
3）P--->Q<----->Q或~P
矛盾关系
3）所有S不是P——有的S是P
4）A且B——~A或~B
2）所有S都是P——有的S不是P
5）A或B——~A且~B
1）A是B——A不是B
6）A--->B——A且~B
反对关系
1）所有S都是P——所有S都不是P
两个所有，必有一假，可以同假
2）有的S是P——有的S不是P
两个有的，必有一真，可以同真