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

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

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