离散数学试题及答案答:展示了量词在命题逻辑中的运用。16. 关系的直观表示,R×S 和 R2 分别为 {(1,3),(1,2),(2,3),(2,1),(3,2)} 和 {(1,1),(2,2)},展示了关系的乘积。这些题目旨在考察你的逻辑推理、集合论、关系理论以及命题逻辑的掌握程度,通过解答它们,你将更深入地理解离散数学的核心概念。
离散数学命题逻辑推理答:若p->(q->s)真,则p假;或p真,且q->s真.(1)若p假,又知p∨非r真,则非r真,即r假.∴r->s真.(2)若p真,且q->s真,又知q真,则s真.∴r->s真.宗上所述:若 p->(q->s), q ,p∨非r,则r->s.