Формальная логика есть наука об элементарных законах и формах правильного мышления. Она есть собрание элементарных правил о том, как нужно пользоваться понятиями, суждениями, умозаключениями, дабы наше мышление было определённым, связным, последовательным, доказательным, непротиворечивым. Формальная логика элементарна. Она, по ленинской характеристике, «берёт формальные определения, руководствуясь тем, что наиболее обычно или что чаще всего бросается в глаза, и ограничивается этим» (В.И. Ленин, «Диалектика стакана»)...

Памятка «Основы формальной логики в информатике» содержит необходимый минимум информации для учеников 8 класса, которая понадобится им при изучении элементов алгебры логики. Она содержит основные определения и законы по теме. Тема «Элементы алгебры логики» является одной из наиболее сложных для учеников при изучении всего школьного курса информатики. Она тяжело воспринимается учениками отчасти потому, что содержит большое количество теоретического материала, который сложно воспринимается и запоминается...