关注微信公众号“高速商务通”,马上办理ETC。
在命题逻辑中,顾名思义,命题由逻辑运算符连接。“ 街道潮湿 ”的说法是一个命题,“ 正在下雨 ”。
这两个命题可以联系起来形成新命题
写得更正式
下雨⇒街道潮湿。
这种符号具有以下优点:元素命题再次以未改变的形式出现。为了使我们能够精确地处理命题逻辑,我们将从所有命题逻辑公式的集合开始。
・ t 和 f 是(原子)公式。
tors和Σ一组符号。集合Op,Σ和{ t,f }是成对不相交的。
关注微信公众号“高速商务通”,马上办理ETC。