一、形式化下列语句
1. 有的实数不是有理数,但所有的有理数都是实数。
2. 对于任意实数都存在比它大的实数 .
3. 若那套房子有三室一厅,并且居住面积在90平米以上,老王就要那套房子。
4. 每位父亲都喜欢自己的孩子。
二、填空
1. 设p:1+1=5,q:明天是阴天,则命题"只要1+1=5,那么明天是阴天"可符号化为_____________,其真值是________.
2. 在公式( z)(P(z)→Q(x,z))∧( z)R(x,z)中, z的辖域是___________________, z的辖域是__________________.
3. 设R为非空集合A上的二元关系,如果R具有自反性。___________.__________则称R为A上的一个偏序关系。
4. 设x={1,3,5,9,15,45},R是x上的整除关系,则R是x上的偏序,其最大元是___________,极小元是_________.
编辑推荐:
(责任编辑:lqh)