По горизонтали: 1) Наука о законах правильного мышления. 2) Учёный, которого считают основоположником формальной логики. 3) Набор элементов, каждый из которых отличается от других. 4) Операция с множествами, в результате которой выбираются все элемен-ты, входящие хотя бы в одно множество. 5) Другое название операции «ИЛИ». 6) Операция с множеством, соответствующая логической операции «НЕ». 7) Логическая операция, соответствующая связке «если…, то…». 8) Переход от конкретного содержания высказываний к записи с формального языка. 9) Операция с множествами, соответствующая логической операции «И». 10) Другие название логической операции «НЕ».

1) Наука о законах правильного мышления - логика. Логика изучает правила мышления, позволяющие делать логически верные выводы.
2) Учёный, которого считают основоположником формальной логики - Аристотель. Аристотель был древнегреческим философом, который внёс большой вклад в развитие логики, формулировав множество законов и принципов мышления.
3) Набор элементов, каждый из которых отличается от других - множество. Множество - это совокупность различных объектов, которые называются его элементами. Каждый элемент множества отличается от других элементов.
4) Операция с множествами, в результате которой выбираются все элементы, входящие хотя бы в одно множество - объединение. Объединение двух множеств включает в себя все элементы, которые принадлежат хотя бы одному из этих множеств.
5) Другое название операции «ИЛИ» - дизъюнкция. Дизъюнкция - это логическая операция, которая возвращает истину, если хотя бы одно из высказываний истинно.
6) Операция с множеством, соответствующая логической операции «НЕ» - дополнение. Дополнение множества включает все элементы, которые не принадлежат данному множеству.
7) Логическая операция, соответствующая связке «если..., то...» - импликация. Импликация - это логическая операция, которая устанавливает связь между предпосылкой (условием) и следствием.
8) Переход от конкретного содержания высказываний к записи с формального языка - формализация. Формализация - это процесс преобразования высказываний в специальную формулу на формальном языке с помощью логических символов и правил.
9) Операция с множествами, соответствующая логической операции «И» - пересечение. Пересечение двух множеств включает в себя все элементы, которые принадлежат обоим множествам одновременно.
10) Другое название логической операции «НЕ» - отрицание. Отрицание - это логическая операция, которая меняет истинность высказывания на противоположную.