问答题
用CP规则推证下列各题的有效结论:p∨q,p→r,q→s=>s∨r
问答题 设X={0,1,2},请找出XX中满足f3(x)=x(f3为恒等函数)的所有函数。
问答题 用CP规则推证下列各题的有效结论:p→(q∧r),q∨s,(t→u)→s,q→(p∧t)=>q→t
问答题 设X={0,1,2},请找出XX中满足f2(x)=x(f2为恒等函数)的所有函数。