计算题 用全真值表或部分真值表证明下列各题的有效结论：¬p∨q，r→¬q=>p→¬r

试以加函数为已知函数，递归定义自然数集合上的乘函数，进而定义自然数集合上的二元指数函数。

问答题试以加函数为已知函数，递归定义自然数集合上的乘函数，进而定义自然数集合上的二元指数函数。

证明：对任意自然数x，有确定的正整数n，m满足等式 且对住意正整数n，m，均有自然数x满足上述等式

问答题

证明：对任意自然数x，有确定的正整数n，m满足等式

且对住意正整数n，m，均有自然数x满足上述等式

设f：A→B为一单射，当A为可数集时，B是否一定为无限集？

问答题设f：A→B为一单射，当A为可数集时，B是否一定为无限集？