qq_40466537的博客

命题逻辑语法规则P::=T∣⊥∣x∣P∧P∣P∨P∣P→P∣¬PP::= T|⊥| x | P ∧P | P ∨ P | P → P | ¬ PP::=T∣⊥∣x∣P∧P∣P∨P∣P→P∣¬P用符号P代表任意逻辑命题，它由几种不同语法形式组成:符号T和⊥分别代表两个逻辑常量“真和“假”；小写符号x代表一个原子命题变量;这三种语法形式都是基本的，因此可称它们为原子命题。还可以通过连接词连接子命题，而构成复合命题；具体的有四种联接词:合取∧、析取∨、蕴含→和否定¬，其中前三个算符是二元的，最后一个算