1. Science
  2. Publications
  3. Systems of Arms and Military Equipment
  4. 3(47)'2016
  5. About formal properties of propositional calculus

About formal properties of propositional calculus

V.A. Leschinskiy, I.A. Leschinska
Annotations languages:

In this paper we introduce the notion of formal consistency, completeness and solvability of logical calculus. It is shown how to prove the method of interpretation of the independence of the axioms of a logical calculus.
Keywords: propositional calculus, the formal consistency, completeness, decidability, logical calculus, the independence of the axioms, method of interpretation