标签：
数理逻辑：命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理理论
命题：能判断真假的陈述句。（感叹句、疑问句、祁使句都不是命题）
命题分为简单命题和复合命题。
简单命题符号化：用小写英文字母p，q，r，…表示简单命题。 （2）用“1”表示真，用“0”表示假
否定¬：不是，没有，非，不。
合取∧：并且，同时，和，既…又…，不但…而且…，虽然…但是…。
析取∨ ：或者，或许，可能。
蕴涵→ ：若…则…，假如…那么…，既然…那就…，倘若…就…，只要…就，只有…才，…。
等价←→：当且仅当，充分必要，相同，一样，…。
重言式（也称永真式）在各种赋值下取值均为真。
矛盾式（也称为永假式）在各种赋值下取值均为假。
可满足式（不是矛盾式的公式）。
基本等值式：
基本重言蕴涵式：
掌握了这些基本的东西在不断巩固打好基础。
标签：
原文地址：http://www.cnblogs.com/dj20145339/p/5211053.html
