命题逻辑：2

在命题逻辑中，顾名思义，命题由逻辑运算符连接。“ 街道潮湿 ”的说法是一个命题，“ 正在下雨 ”。

这两个命题可以联系起来形成新命题

如果下雨，街道是湿的。

写得更正式

下雨⇒街道潮湿。

这种符号具有以下优点：元素命题再次以未改变的形式出现。为了使我们能够精确地处理命题逻辑，我们将从所有命题逻辑公式的集合开始。

・    t 和 f 是（原子）公式。

tors和Σ一组符号。集合Op，Σ和{ t，f }是成对不相交的。