第一章 2-命题公式类型-等值式-范式.pdfVIP

离散数学 语句的形式化  我和他既是兄弟又是同学：p∧q  p:我和他是兄弟，q:我和他是同学  狗急跳墙：p→q  p:狗急了，q:狗跳墙  如果他不来那么是生病了或者不在本地： ¬p→(q∨¬r)  p:他来，q:他生病，r:他在本地  无论是否下雨，我都去上学(p→q)∧(¬p→q)  或者(p∧q)∨(¬p∧q)  或者q  p:天下雨，q:我去上学 2 语句的形式化  要善于确定原子命题，如兄弟这个概念就无需进一步拆分；  要善于识别自然语言中的联结词；  对于涉及多个对象进行否定的否定词位置要准确；  有时候语句的形式化结果不是唯一的，可能具有不同形式， 但是逻辑上是等价的。 3 命题 + 逻辑联结词 = ？