计算题用“假设前件为真，推证后件也为真或假设后件为假，推证前件也为假”的方法证明下列蕴含式 ¬q∧（p→q）=>¬p

p∧（p→q）=>q

问答题p∧（p→q）=>q

证明：若函数f：N→N有多于一个的左逆，则它必有无穷多个左逆．

问答题证明：若函数f：N→N有多于一个的左逆，则它必有无穷多个左逆．

p→（q→r）=>（p→q）→（p→r）

问答题p→（q→r）=>（p→q）→（p→r）