范式的性质-2014091522053249

【文件属性】：

文件名称：范式的性质-2014091522053249

文件大小：477KB

文件格式：PPT

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

java

范式的性质 定理2.1 (1) 一个简单析取式是重言式当且仅当它同时含有某 个命题变项和它的否定式. (2) 一个简单合取式是矛盾式当且仅当它同时含有某个命题 变项和它的否定式. 定理2.2 (1) 一个析取范式是矛盾式当且仅当它每个简单合 取式都是矛盾式. (2) 一个合取范式是重言式当且仅当它的每个简单析取式都 是重言式.