下载地址：
下载地址1（本站为飞网专业下载站，域名：down.cfei.net）
资源简介：
第二章开始的答案~~~~~对下列各题分别证明G是否为F1,F2,…,Fn的逻辑结论：(1) F: ( x)( y)(P(x, y)G: ( y)( x)(P(x, y)(2) F: ( x)(P(x)∧(Q(a)∨Q(b)))G: ( x) (P(x)∧Q(x))(3) F: ( x)( y)(P(f(x))∧(Q(f(y)))G: P(f(a))∧P(y)∧Q(y)(4) F1: ( x)(P(x)→( y)(Q(y)→ L(x.y)))F2: ( x) (P(x)∧( y)(R(y)→L(x.y)))G: ( x)(R(x)→ Q(x))(5) F1: ( x)(P(x)→(Q(x)∧R(x)))F2: ( x) (P(x)∧S(x))G: ( x) (S(x)∧R(x))
飞网下载站，免费下载共享资料，内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。
