1. 基本概念：

a.“ p，q，r…”表示未解析的命题；

b. 表示“或”；表示p、q中至少有一为真；

c.“ ～”表示“非”或“假”；“～p”表示“非p”，或“p是假的”。

2. 基本定义：

3. 基本命题：

l.1，真命题所蕴涵的命题是真命题。