欢迎来到天天文库
浏览记录
ID：50509413
大小：32.52 KB
页数：2页
时间：2020-03-10
《命题符号化及联结词.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、命题符号化及联结词基本概念命题：能够判断真假的陈述句。命题的真值：命题的判断结果。真值只取两个值：真（1）、假（0）。真命题：真值为真的命题。假命题：真值为假的命题。判断命题的两个步骤：1、是否为陈述句；2、是否有确定的、唯一的真值。注意:感叹句、祈使句、疑问句都不是命题.陈述句中的悖论以及判断结果不惟一确定的也不是命题设A为任一命题公式，（1）若A在其各种赋值下的取值均为真，则称A是重言式或永真式。（2）若A在其各种赋值下的取值均为假，则称A是矛盾式或永假式。（3）若A不是矛盾式，则称A为可满足式。真值表的作用：（1）表示出公式
2、的成真或成假赋值。（2）判断公式类型：(a)若真值表最后一列全为1，则为重言式；(b)若真值表最后一列全为0，则为矛盾式；(c)若真值表最后一列至少有一个1，则为可满足式；
此文档下载收益归作者所有
