文件名称:application_ofmathematical_logic
介绍说明－－下载内容均来自于网络，请自行研究使用
输入一个一阶语言，开头和结尾必须是括号。例如，(@a(P(a)).
数理逻辑的应用：通过C语言进行一阶语言的判断约束符号只限P,Q,R 变员符号只限a,b,c 命题符号为:&,|,~,-(蕴含),=(等价)
量词符号:全称量词:@ 存在量词:# -Enter a first order language must start and end brackets. For example, (@ a (P (a)). The application of mathematical logic: first-order through the C language sign language to judge bound only P, Q, R become members of symbols restricted to a, b, c proposition symbols :& ,|,~,-( implication), = (equal) quantifier symbols: universal quantifier: @ existential quantifier:#
数理逻辑的应用：通过C语言进行一阶语言的判断约束符号只限P,Q,R 变员符号只限a,b,c 命题符号为:&,|,~,-(蕴含),=(等价)
量词符号:全称量词:@ 存在量词:# -Enter a first order language must start and end brackets. For example, (@ a (P (a)). The application of mathematical logic: first-order through the C language sign language to judge bound only P, Q, R become members of symbols restricted to a, b, c proposition symbols :& ,|,~,-( implication), = (equal) quantifier symbols: universal quantifier: @ existential quantifier:#
(系统自动生成,下载前可以参看下载内容)
下载文件列表
一阶语言公式判断\实验使用说明.txt
................\一阶语言公式的判断.CPP
一阶语言公式判断
................\一阶语言公式的判断.CPP
一阶语言公式判断