问答题 证明：存在一个从集合X到它的幂集ρ（x）的一个单射。

问答题 将下列命题符号化：“4不是奇数”

问答题 证明下面各命题推得的结论是有效的：如果今天是星期三，那么我有一次离散数学或数学逻辑测验。如果离散数学课老师有事，那么没有离散数学测验。今天是星期三且离散数学老师有事。所以，我有一次数字逻辑测验。