Материал предоставлен https://it.rfei.ru

Основы математической логики

Логика — наука о построении правильных умозаключений. Математическая логика — раздел математики, изучающий математические доказательства и вопросы оснований математики. Первоначальным разделом математической логики является алгебра высказываний. В этом разделе изучаются способы построения новых высказываний из уже имеющихся и законы, связанные с данными построениями.

Проверка знаний. МножестваВысказывания. Операции над высказываниями