试判断(z,≤)是否为格?说明理由。
暂无解析
设Q(x):x为偶数,P(x):x为素数,则下列命题:(1)存在唯一偶素数;(2)至多有一个偶素数;分别形式化:(1)________________________________(2)________________________________。
在代数系统(N,+)中,其单位元是0,仅有____有逆元。
任意两个不同小项的合取为,全体小项的析取式为________。
下列几个图是简单图的有()。