slide 3：命题逻辑

蕴含真值表

1	1	1
1	0	0
0	1	1
0	0	1

若 非真，则 总是真的。
知乎：如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？

逻辑形式与数学形式

logic	arithmetic

估值

在命题逻辑中，估值对应于真值表中的一行。

意思是命题 在估值 下为真
指命题 在估值 下为假