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