Содержимое раздела
В этом разделе представлены базовые понятия и принципы логики, необходимые для понимания методов доказательства истинности высказываний. Рассматриваются логические операции (конъюнкция, дизъюнкция, отрицание, импликация, эквивалентность), логические законы (закон тождества, закон непротиворечия, закон исключенного третьего), а также основные типы высказываний. Акцент делается на примерах, понятных школьникам, с целью облегчения восприятия сложного материала. Раздел служит фундаментом для дальнейшего изучения методов доказательства.