Authors

Summary

Literature

Introduction

1.1 :: Sets. Equality of sets

1.2 :: Algebra of sets

1.3 :: Cartesian product and the relationship

1.4 :: Equivalence

1.5 :: Partial order

Exercises

Introduction

2.1 :: Statements and operations on them

2.2 :: Analysis of complex utterances

2.3 :: Formula. Boolean functions

2.4 :: Tautology

2.5 :: Construction of a counterexample

2.6 :: Equivalent to the formula

2.7 :: Some logical laws

2.8 :: Normal forms

Exercises

????????

3.1 :: ?????????? ?????????

3.2 :: ?????????? ? ???????????????? ??????

Introduction

4.1 :: Theory L. Axioms and inference rules

4.2 :: Validity of the theorems. Consistency of L

4.3 :: The completeness of the theory of L

Exercises

Introduction

5.1 :: The notion of a predicate

5.2 :: Types of predicates

5.3 :: Simple logical operations on predicates

5.4 :: Operation of quantification

5.5 :: Predicate formulas

5.6 :: Language predicates algebra

5.7 :: The concept of the predicate calculus

Introduction

6.1 :: Algorithms