寒假学习总结

数理逻辑：命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理理论

命题：能判断真假的陈述句。（感叹句、疑问句、祁使句都不是命题）

命题分为简单命题和复合命题。

简单命题符号化：用小写英文字母p，q，r，…表示简单命题。（2）用“1”表示真，用“0”表示假

否定¬：不是，没有，非，不。

合取∧：并且，同时，和，既…又…，不但…而且…，虽然…但是…。

析取∨ ：或者，或许，可能。

蕴涵→ ：若…则…，假如…那么…，既然…那就…，倘若…就…，只要…就，只有…才，…。

等价←→：当且仅当，充分必要，相同，一样，…。

重言式（也称永真式）在各种赋值下取值均为真。

矛盾式（也称为永假式）在各种赋值下取值均为假。

可满足式（不是矛盾式的公式）。

基本等值式：

基本重言蕴涵式：

掌握了这些基本的东西在不断巩固打好基础。