问答题
用全真值表或部分真值表证明下列各题的有效结论：¬p∨q，r→¬q=>p→¬r
问答题 试以加函数为已知函数，递归定义自然数集合上的乘函数，进而定义自然数集合上的二元指数函数。
问答题 证明：对任意自然数x，有确定的正整数n，m满足等式 且对住意正整数n，m，均有自然数x满足上述等式
问答题 设f：A→B为一单射，当A为可数集时，B是否一定为无限集？
