01命题逻辑的基本概念
命题:能明确判断真假(要么真、要么假,二者必居其一且仅居其一)的陈述句,就是命题。
其核心是:命题的真值是唯一的,可能无法准确判断是否为真还是为假,但一定是其中一个

反例:


总结:^都为真才真、 v都为假才为假 、 -> 是 1->0才为假
优先级:

将下列命题符号化:

兼容与不兼容:

p->q:p是q的充分条件




成真赋值与成假赋值

命题:能明确判断真假(要么真、要么假,二者必居其一且仅居其一)的陈述句,就是命题。
其核心是:命题的真值是唯一的,可能无法准确判断是否为真还是为假,但一定是其中一个

反例:


总结:^都为真才真、 v都为假才为假 、 -> 是 1->0才为假
优先级:

将下列命题符号化:

兼容与不兼容:

p->q:p是q的充分条件




成真赋值与成假赋值
