数理逻辑考试题及答案[共5页]

“离散数学”数理逻辑部分考核试题答案━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━一、命题逻辑基本知识（5分）1、将下列命题符号化（总共4题，完成的题号为学号尾数取4的余，完成1题。共2分）（0）小刘既不怕吃苦，又爱钻研。解：Øp∧q，其中，P：小刘怕吃苦；q：小刘爱钻研。（1）只有不怕敌人，才能战胜敌人。解：q→Øp，其中，P：怕敌人；q：战胜敌人。（2）只要别人有困难，老张就帮助...