文档详情

在线网课学习课堂《数理逻辑(西南科大)》单元测试考核答案.docx

发布:2022-04-30约3.88千字共8页下载文档
文本预览下载声明
注:不含主观题 第1题 设P:天晴,Q:我去打球,则命题“若天晴,则我不去打球”可符号化为( ?)。 A ?Q?P B P??Q C P??Q D ?P?Q 第2题 永真式的否定一定是( ) A 永真式 B 永假式 C 可满足式 D 重言式能 第3题 设p:天晴,q:小王去踢足球。“因为天晴,所以张华去踢足球.”可符号化为:q?p。 第4题 ?设p:天晴,q:小王去踢足球。“张华去踢足球仅当天晴的时候.”可符号化为:p?q 。 第5题 ?语句“你知道我在等你吗?”是命题。(?) 第6题 ?语句“若这个公式为永真蕴含式,则它的真值不能为假。”是命题。? 第7题 ?语句“下列语句不是命
显示全部
相似文档