离散数学数理逻辑与集合论试题

离散数学（1）—数理逻辑与集合论试题一、形式化下列语句： （每小题 3 分，共 12 分）1. 有的实数不是有理数，但所有的有理数都是实数。2. 实数的稠密性（任意两个实数 x 和 y 之间必可找到另