Title:
application_ofmathematical_logic
Download
Description: 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:#
To Search:
- [mggong] - Well-formed formulas of the judge, accor
- [LogicAnalysis] - Mathematical logic to determine whether
File list (Check if you may need any files):
一阶语言公式判断\实验使用说明.txt
................\一阶语言公式的判断.CPP
一阶语言公式判断
