原创力文档- 1、本文档共9页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
一阶逻辑定理证明
令A是PL的公式，x在A中自由出现：
101，├(xA（x）((yA（y）
101( ├(xA（x）((yA（y）
102，├(xA（x）(((xA(（x）
103，├(xA（x）(((x(A（x）
104，├(x(A（x）(((xA（x）
105，├(x(A（x）(((xA（x）
令A，B是PL的公式，x在A，B中自由出现：
106，├(x(yA（x，y）((y (xA（x，y）
107，├(x(yA（x，y）((y(xA（x，y）
108，├(x(yA（x，y）((y(xA（x，y）；反之不成立。
令A，B是PL的公式，x在A，B中自由出现：
109，├(x（A∧B）((xA∧(x B
110，├(x（A(B）((xA((x B
111，├(x（A→B）→（(xA→(x B），反之不成立。
112，├(x（A(B）→（(xA((x B），反之不成立。
113，├（(xA∨(x B）→(x（A∨B）反之不成立。
114，├(x（A∧B）((xA∧(x B，反之不成立。
令A，B是PL的公式，x在B中自由出现并且在A中非自由出现，则有：
115，├(x（A∨B）(A∨(x B
116，├(x（A∨B）(A∨(x B
117，├(x（A∧B）(A∧(x B
118，├(x（A∧B）(A∧(x B
119，├(x（A→B）(（A→(x B）
120，├(x（A→B）(（A→(x B）
121，├(x（B→A）(（(x B→A）
122，├(x（ B→A）((xB→A
123，├(x（A→A）
124，├(x（A∨(A）
125，├(x(（A∧(A）
证明102 ：├(xA（x）(((xA(（x）
⑴ (xA P
⑵ (x(A P
⑶ (A（a） P
⑷ (xA P
⑸ A（a） ⑷ (—
⑹ (A（a） ⑶R
⑺ ((xA ⑷—（6）(+
⑻ (xA∧((xA （1）（7）∧+
⑼ (xA∧ ((xA （2），（3）―（8） ((
⑽ ( (x(A （2）—（9）(+
⑾ ( (x(A P
⑿ (A（a） P，a要符号条件
⒀ (x(A P（12）(+
⒁ ( (x(A 11）R
⒂ A（a） （12）—（14）(—
⒃ (xA（x/a） （15）((a要符合条件
⒄ (xA（x）(((xA(（x） （1）—（10），（11）—（16）(+
证明103：├(xA（x）(((x(A（x）
⑴ (xA（x） P
② A（a） P
⑶ (x(A（x） P
⑷ (A（a） ⑶(—
⑸ A（a） ⑵R
⑹ ((x(A（x） ⑶—⑸(+
⑺ ((x(A（x） ⑴，⑵—⑹(—
⑻ ((x(A（x） P
⑼ ((xA（x） P
⑽ A（a） P（ a不出现在（8）（9）（14）中
⑾ (xA（x） （10）(+
⑿ ((xA（x） （9）R
⒀ ( A（a）
文档评论（0）