第一章 常用逻辑用语

1.1 命题及其关系

命题：可以判断真假的陈述句
真命题
假命题

四种命题：
互逆命题：条件和结论相反的两个命题
互否命题：若p，则q 与 若非p，则非q
逆否命题：若p，则q 与 若非q，则非p

1.2

如果”若p，则q“为真命题，则可以说p=>q
p叫做q的充分条件，q叫做p的必要条件

充要条件

1.3

p^q
当p与q都是真命题的时候，p^q是真命题
一个假都是假

pVq
其中一个真就是真了，只有两个都假才是假

非