第3章-命题演算与推理(上).pptVIP

* * * * * * * * * * * * * 计算机应用技术研究所 * 二元联结词 其余4个联结词： * 计算机应用技术研究所 * 二元联结词 其余4个联结词的真值表： * 计算机应用技术研究所 * 二元联结词 命题逻辑中所有的9个联结词 * 计算机应用技术研究所 * 二元联结词 * 计算机应用技术研究所 * 二元联结词 * 计算机应用技术研究所 * 二元联结词 * 计算机应用技术研究所 * 二元联结词 * 计算机应用技术研究所 * 二元联结词 联结词的完备集 联结词的枚举 联结词的完备性 联结词的应用 * 计算机应用技术研究所 * 联结词的完备性 【定义】设S是联结词集合， （1）如果对于任一命题公式，都可由S中联结词所表达的公式与之等值，则称S是完备联结词集合； （2）对于一个完备的联结词集合S，从S中任意删去一种联结词后，得到联结词集合S1不能表达任一命题公式，则称S为极小完备联结词集合。 * 计算机应用技术研究所 * 联结词的完备性 * 计算机应用技术研究所 * 联结词的完备性 * 计算机应用技术研究所 * 联结词的完备性 * 计算机应用技术研究所 * 联结词的完备性 * 计算机应用技术研究所 * 联结词的完备性 * 计算机应用技术研究所 * 联结词的完备性 【例题】分别使用下列极小完备联结词集合表示命题公式P∨Q→R。 （1）{?，→}；（2