1) Как называется наука, изучающая законы правильного мышления? 2) Кто считается основоположником формальной логики?

1) Наука, изучающая законы правильного мышления, называется логика. Логика занимается рассмотрением правил и принципов, которые гарантируют возможность корректного и логически верного рассуждения.

2) Основоположником формальной логики считается английский философ и математик Джордж Буль. В своей работе «Математическая анализ логических выражений» он впервые сформулировал правила символического вывода и аксиоматических систем.

3) Набор элементов, отличающихся друг от друга, называется множеством. В математике и логике множества являются базовым понятием, используются для описания совокупностей объектов.

4) Операция с множествами, при которой выбираются все элементы, принадлежащие хотя бы одному множеству, называется объединением. Обозначается символом \(\cup\).

5) Альтернативным названием операции "ИЛИ" является операция объединения. Кроме этого, операция "ИЛИ" может обозначаться символом "+", "V" или "∨".

6) Операция с множеством, соответствующая логической операции "НЕ", называется дополнением или комплементом. Операция дополнения выбирает все элементы, которые не принадлежат данному множеству. Обозначается символом \(\overline{A}\) или \(\neg A\).

7) Логическая операция, соответствующая выражению "если... , то...", называется импликацией. Она устанавливает связь между двумя высказываниями, по которой первое высказывание является предпосылкой, а второе - заключением. Обозначается символом "→".

8) Переход от конкретного содержания высказываний к записи в виде символов и символических выражений называется формализацией. Формализация позволяет упростить и систематизировать рассуждения, используя формальные языки и символы, чтобы сделать их более точными и предсказуемыми. Формализация помогает в проведении математических доказательств и логического вывода.