离散--繁琐的定义

联结词
否定联结词
合取联结词  合取式pq:pq为真当且仅当p与q同时为真
析取联结词  析取式pq:pq为假当且仅当p与q同时为假
蕴涵联结词  蕴涵式pq:  pq为假  当且仅当 p为真q为假 ，其他情况都为1
等价联结词等价式pq:   pq为真当且仅当p与q同时为真或同时为假


命题公式
命题变项:取值为0或1的变元,也用p,q,r等表示.
命题公式:用联结词和圆括号把命题和命题变项按照一定
规则连接起来的符号串, 常用A,B,C等表示.
例如,A=(pq)(rp)
公式的赋值:对公式中每一个命题变项给定一个值(0或1).
公式的成真赋值:使公式为真的赋值.
公式的成假赋值:使公式为假的赋值.
例如,p=1,q=1,r=1是A的成真赋值,
p=0,q=1,r=0是A的成假赋值.

重言式,矛盾式与可满足式
重言式(永真式):无成假赋值的命题公式  ---就是不管怎么赋值，都是真的式子。
矛盾式(永假式):无成真赋值的命题公式  ---就是不管怎么赋值，都是假的式子。
可满足式（可真可假）:不是矛盾式的命题公式 ---也就是不可能一直是假的，大多数是这个式子。
例如, A= (pq)(rp)是可满足式,但不是重言式,
B= (pq)(pq)(pq)(pq)是重言式,
C=p(pq)(pq)是矛盾式.
AB:蕴涵式AB是重言式的简记.

AB:等价式AB是重言式的简记，

称A与B等值，AB是等值式.

称A与B等值，AB是等值式.

幂集P(A):A的所有子集组成的集合,即P(A) = { x |xA}

如果 |A| = n， 则|P(A)| = 2n

(1)中B是A的逻辑结论,但不是正确结论;  0   0  1