相关文档

国防科学技术大学:《数理逻辑》(英文版)Lecture 7 Prenex Normal Form

The primitive symbols of E are those of F, plus the symbol ∃. The formation Rules of E are those of F, plus the following If B is a wff of E and x is an individual variable, then ∃xB is a wff of E. The axiom schemata of E are those of F plus
团购合买资源类别:文库,文档格式:PDF,文档页数:9,文件大小:307.21KB
点击进入文档下载页(PDF格式)
已到末页,全文结束
点击下载(PDF格式)