问答题 设R={〈，∣∣〉，〈{}，a〉，〈b，〉}，求domR，ranR，R↑∣{}∣，R[{，b}]，R。R。

问答题 判断以下推理是否正确，先得简单命题符号化，再写出前提，结论，推理的形式结构（以蕴含式的形式给出）和判断过程。 若今天是星期一，则明天是星期三；今天是星期一所以明天是星期三。

问答题 设G为n（n≥2）个结点的无向连通图，证明：若G为欧拉图，则G可表示为若千个边不重的回路之并。