离散数学中的谓词逻辑不存在最大整数怎么表示是：p（x）x是整数,g（x,y）x

离散数学中的谓词逻辑不存在最大整数怎么表示是：p（x）x是整数,g（x,y）x 函数y=x-[x],其中x是任意的一个实数,[x]表示“不超过x的最大整数”.（1）写出函数的定义域、值域；（2） 设Q（x）：x 是有理数,R（x）：x是实数.命题“某些实数是有理数”在谓词逻辑中的符号化公式是 离散数学谓词逻辑问题：(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式 高斯记号定义:y=(x),记号〔x〕表示不超过x的最大整数,即是小于等于X的最大整数. 已知[x]表示不超过实数x的最大整数，g（x）=[x]为取整函数，x0是函数f(x)＝lnx−2x的零点，则g（x0）等 [x]表示不超过x的最大整数 对于任意实数x，符号[x]表示x的整数部分，即[x]是不超过x的最大整数”．在实数轴R（箭头向右）上[x]是在点x左侧的 如果x除以y等于13（x、y为整数）,那么x和y的最大公因数是（）,最大公倍数是（）. 设f(x)=[x]表示不超过实数x的最大整数,试研究函数g(x)=x-[x] 已知点P（x，y）位于第二象限，并且y≤2x+6，x、y为整数，则点P的个数是______． 1.k是奇数,求证:不存在整数x,y满足方程x^2-y^2=2k