问答题设f：X→X满足f2（x）=x，证明f为一双射。
问答题设h为X上的函数，证明下列两个条件等价． （1）h为一满射， （2）对任意X上的函数f，g，fοh=gοh蕴涵f=g。
问答题证明：存在一个从集合X到它的幂集ρ（x）的一个单射。
问答题将下列命题符号化：“4不是奇数”
问答题证明下面各命题推得的结论是有效的：如果今天是星期三，那么我有一次离散数学或数学逻辑测验。如果离散数学课老师有事，那么没有离散数学测验。今天是星期三且离散数学老师有事。所以，我有一次数字逻辑测验。
