联结词完备集-2014091522053249

【文件属性】：

文件名称：联结词完备集-2014091522053249

文件大小：477KB

文件格式：PPT

更新时间：2024-04-13 04:28:46

java

联结词完备集 定义2.7 设S是一个联结词集合，如果任何n(n1) 元真值函 数都可以由仅含S中的联结词构成的公式表示，则称S是联结 词完备集 若S是联结词完备集, 则任何命题公式都可由S中的联结词表示 定理2.6 S = {, , }是联结词完备集 证明 由范式存在定理可证