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