П.1 Высказывания Алгебра логики (высказываний) - раздел математической логики, изучающий высказывания и логические операции над ними. Высказывание(суждение) – любое повествовательное предложение в отношении которого можно однозначно сказать, истинно оно или ложно. Примеры высказываний: Высказываниями не являются: Алгебра логики (высказываний) работает с высказываниями. Различают: Истина: Аристотель - основоположник логики. Ложь: На яблонях растут бананы. А = {Аристотель - основоположник логики} – истина...

Итак, нам придётся окунуться в математику. Логика для математиков Я начала с логики, чтоб попроще было. Но это оказалось ложное умозаключение для того, кто логику никогда не изучал. Итак, упрощённо, бывает формальная и математическая логика, понятно, что нас интересует последняя. Есть канал Хекслет: Введение в логику на ютубе. (Упоминаемые дальше каналы взяты отсюда, если не указано другое). Если не заходит, можно начать со школьного курса Основы логики. Школьная продвинутая математика: повторение Перед вышкой нужно вспомнить азы с каналом для одарённых детей :) МЕКТЕП OnLine Математика...