第二章命题逻辑的等值和推理演算 - SJTU CS.PPT

写出各真值函项: g0 (P,Q) = F g1(P,Q) = P∧Q g2(P,Q) = P∧?Q g3(P,Q) = (P∧?Q)∨(P∧Q) = P∧(?Q∨Q) = P g4(P,Q) = ?P∧Q g5(P,Q) = (?P∧Q)∨(P∧Q) = (?P∨P)∧Q = Q g6(P,Q) = P∨Q g7(P,Q) = P∨Q g8(P,Q) = ?P∧?Q = P ? Q g9(P,Q) = P ?Q g10(P,Q) = (?P∧?Q)∨(P∧?Q) = (?P∨P)∧?Q = ?Q g11(P,Q) = P∨?Q = Q?P g12(P,Q) = (?P∧ ?Q)∨(?P∧Q) = ?P∧(?Q∨Q) = ?P g13(P,Q) = ?P∨Q = P ? Q g14(P,Q) = ?P∨?Q = P ? Q g15(P,Q) = T 一般地说，对n 个命题变元P1…Pn,, 每个Pi有两种取值, 从而对P1…Pn来说共有2n种取值情形。于是相应的直值函项就有22n个, 或说可定义22n个n元联结词。 2.4.2 联结词的完备集 由于可定义的联结词的数量是极大的, 需要考虑它们是否都是独立的? 也就是说这些联结词是否能相互表示呢? 定义: 设C是联结词的集合，如果对任一命题公式都有由C中的联结词表示