问答题
p∧(p→q)=>q
问答题 证明:若函数f:N→N有多于一个的左逆,则它必有无穷多个左逆.
问答题 p→(q→r)=>(p→q)→(p→r)
问答题 试做一函数f:N→N,使之恰有两个右逆.