Predicate Formal System based on 1-level Universal AND Operator and its Soundness
|
Title | Predicate Formal System based on 1-level Universal AND Operator and its Soundness |
Authors | |
Abstract | The aim of this paper is solving the predicate calculus formal system based on 1-level universal AND operator. Firstly, universal logic and propositional calculus formal deductive system are introduced. Secondly, a predicate calculus formal deductive system based on 1-level universal AND operator is built. Thirdly, the soundness theorem and deduction theorem of system are given, which ensure that the theorems are tautologies and the reasoning rules are valid in system . |
Publisher | ACADEMY PUBLISHER |
Date | 2013-06-01 |
Source | Journal of Computers Vol 8, No 6 (2013) |
Rights | Copyright © ACADEMY PUBLISHER - All Rights Reserved.To request permission, please check out URL: http://www.academypublisher.com/copyrightpermission.html. |