1. 基本概念:
a.“ p,q,r…”表示未解析的命题;
b. 表示“或”;表示p、q中至少有一为真;
c.“ ~”表示“非”或“假”;“~p”表示“非p”,或“p是假的”。
2. 基本定义:
3. 基本命题:
l.1,真命题所蕴涵的命题是真命题。
上一页
目录
下一页