问答题
证明:麦卡锡(McCarthy)91函数Mc:N→N定义如下: 当x≤100时,Mc(x)=91.
问答题 用CP规则推证下列各题的有效结论:p∧q→r,r∨s,p→s=>p→q
问答题 设f:X→Y,g:Y→Z,AX,求证:(gοf)′(A)=g′(f′(A))
问答题 用CP规则推证下列各题的有效结论:p∨q,p→r,q→s=>s∨r