命题逻辑——语法

命题逻辑简介

命题逻辑比较简单，它的本质是一种语言，类似与我们的常用自然语言(例如，汉语，英语等，这里我们用英语来说明)。一个语言包括的要素有字母表(26个英文字母)，单词，语句，语法，语义等。对与命题逻辑语言来说，它包含的要素有字母表(对应于英文字母表)，原子公式(对应于英文单词)，公式(对应于英文语句)，语法(对应于英文语法)，语义(对应于英语中句子的含义)。

字母表：

命题逻辑语言一般包括四类符号，分别是：

• 联结词符号 $\neg ,\wedge ,\vee ,\to ,\leftrightarrow$;
• 命题符号 p ,   q ,   r p,\ q,\ r p, q, <