问答题
q∧（p→q）=>p
问答题¬q∧（p→q）=>¬p
p∧（p→q）=>q
问答题p∧（p→q）=>q
证明：若函数f：N→N有多于一个的左逆，则它必有无穷多个左逆．
问答题证明：若函数f：N→N有多于一个的左逆，则它必有无穷多个左逆．
