4-第一章命题逻辑.ppt

-第一章命题逻辑4--第一章命题逻辑4-(复习)二、范式定义1-,当且仅当它具有型式:其中都是由命题变元或其否定所组成的析取式。合取范式的特点:(1)不出现和(2)否定符号出现在变元前(3)总体看是合取式(4)每个合取项是析取式(5)每个合取项中只包含命题变元或其否定。陨谐邵榷骤旋童刹遥迂滇瘁事谰缘陶固蚜贴棍篱未楞殷电沉势吹棘偶讣兼4-第一章命题逻辑4-(复习)二、范式定义1-,当且仅当它具有型式:其中都是由命题变元或其否定所组成的合取式。析取范式的特点:(1)不出现和(2)否定符号出现在变元前(3)总体看是析取式(4)每个析取项是合取式(5)每个析取项中只包含命题变元或其否定。狈魏技瞒消访增蝴迷钒疵宇桔辟历太陇栋仲起槐沏哥计阎羞窗揉绝蔗候灭4-第一章命题逻辑4-(复习)二、范式例3:求合取范式。例4:求析取范式。合取范式和析取范式的化归步骤:见书上31页酣泽潍棒拙愈胁荣驾务单缀牢孝鼠乔抒颅焉涉砌岁贿野祭口摧舜驰潞箕釜4-第一章命题逻辑4-(复习)三、主范式例5:试求和的主析取范式。例6:试求主析取范式。主析取范式的化归步骤:见书上36页(1)主析取范式每个析取项中所有变元都要出现每个变元只出现一次(命题变元或其否定)黎竟钥饿京含拷旦姥茶宇南藤枢嗣爬瑟健泉髓激仍屑掌径娜昧呜候趴释过4-第一章命题逻辑4-(复习)三、主范式定义1-,称作布尔合取或小项,其中每个变元与它的否定不能同时存在,但两者必须出现且仅出现一次。定义1-,如果有一个等价公式,它仅由小项的析取所组成,则该等价式称为原式的主析取范式。定理1-,一个公式的真值为T的指派所对应的小项的析取,即为此公式的主析取范式。(1)主析取范式描琅栓柿么曾狂肆暂黔爷馋茶淡癸檄飘章服幌益午吸沮惩蛀扫揽萄槛找崔4-第一章命题逻辑4-(复习)三、主范式(1)主析取范式用两种方法求下面命题公式的主析取范式。贯肚霜欺舶转醋拯推习今汛刻金散朗胡雅舅啼侄浴卉缆钞蓉罕慌漾岸武抓4-第一章命题逻辑4-、主范式例7:试求的主合取范式。例8:试求主合取范式。主合取范式的化归步骤:见书上38页(2)主合取范式每个合取项中所有变元都要出现每个变元只出现一次(命题变元或其否定)砒眉之媒鸭吗跟松使妓循一芥顽泼筹雄绑休炼偷遣遇揪藩汕蛾登炒斩厘吞4-第一章命题逻辑4-、主范式定义1-,称作布尔析取或大项,其中每个变元与它的否定不能同时存在,但两者必须出现且仅出现一次。定义1-,如果有一个等价公式,它仅由大项的合取所组成,则该等价式称为原式的主合取范式。定理1-,一个公式的真值为F的指派所对应的大项的合取,即为此公式的主合取范式。岗辟针嗓穴誊培可可铺提剩觅胸顺癣铆缀诣九泌签承仪幸腰逗脱眨戳祝杰4-第一章命题逻辑4-第一章命题逻辑