1. Science
  2. Publications
  3. Information Processing Systems
  4. 9(146)'2016
  5. About the theorems of propositional calculus

About the theorems of propositional calculus

V.A. Leschinsky
Annotations languages:

The paper discusses some of the interpretation of the propositional calculus - linguistic, logical, algebraic and settheoretic. The concept of propositional calculus theorems and rules of inference theorems from the axioms. The concepts of content completeness and consistency of the logical calculus.
Keywords: propositional calculus, propositional calculus theorem, expressions logic laws, uncontradiction, propositional calculus plenitude