Keyword: «logical truth extension»

The article discusses the main concepts of the theory of logic, which is taught in the school course of mathematics and computer science: logically true sentence (logical truth), predicate, false statement, laws. The basic laws of logic and examples of their use in specific tasks are presented. The authors emphasize the specificity of "logically true sentences" concept study in a school course. The article presents examples of logical thinking use at different stages of activity during the study of mathematics and computer science.