Keyword: «equivalence of statements a and b»

The paper proposes a methodology for the presentation of a main section of mathematical logic – propositional logic. The authors consider a large number of examples, which explain the meaning of the basic definitions. The paper provides a table that summarized the operations disjunction, their meaning and examples. The paper can be useful to teachers and first-year students.