命题逻辑是指以逻辑运算符结合原子命题来构成代表"命题"的公式,以及允许某些公式建构成"定理"的一套形式"证明规则"。相对于谓词逻辑,它是量化的并且它的原子公式是谓词函数;和模态逻辑,它可以是非真值泛函的。
考驾照网(KAOJIAZHAO.COM)
考驾照网(www.kaojiazhao.com) 旗下平台: 驾校平台 教练平台 陪练平台 考试平台
考驾照网举报投诉方式:电话: QQ: 邮箱:(接受色情、低俗、侵权、虐待等违法和不良信息的投诉)
Powered by 考驾照网 © 2001-2013 KAOJIAZHAO XXXXXXXXXX