Содержание:

Основные законы логики

Логика — это раздел философии. Он представляет собой науку о формах и законах правильного мышления. Закон логики — необходимая связь между логическими формами в процессе построения последовательного рассуждения. Цель его состоит в формулировании правил и рекомендаций, с помощью которых можно найти путь к истине. Это не законы самого окружающего мира, а правила мышления о нём.

Аристотель, который создал классификацию свойств бытия, всесторонне определяющих субъект, впервые сформулировал три из четырёх логических законов и подразумевал под этим предпосылку для объективной связи мыслей в процессе размышления. Основными в формальной логике считаются законы:

  • тождества;
  • исключённого третьего;
  • непротиворечия;
  • достаточного основания.

Без этого закона невозможно установить, что такое логическое следование, и понять смысл доказательства.

Логический принцип тождественности

Тождество — это примерное равенство, сходство объектов по какому-либо показателю. Принцип (синоним слова закон) его — один из основных логических законов формальной логики как науки, в соответствии с которым в процессе размышления любое суждение должно оставаться тождественными самому себе.

Аристотель формулировал это положение так: «Иметь не одно значение — значит, не иметь ни одного значения». В виде формулы этот принцип записывается следующим образом: А есть А или А = А, где А — мысль, которая может быть любой. На этом законе основаны многие положения логики. Например, следующие:

  • пусть установлено: по определённым признакам мысль А тождественна В. Тогда верно и утверждение, что В по тем же признакам тождественна А;
  • если А по какому-то показателю равна В, а В при этом соответствует С, то А будет равна С.

Нарушение закона тождества — пример, который привёл к логической ошибке. Ученик на уроке спрашивает учителя: «Можно наказывать человека за то, чего он не сделал?». «Конечно, нельзя», — отвечает учитель. «В таком случае не наказывайте меня, — говорит ученик, — я не сделал домашнюю работу». В этом диалоге нарушен логический принцип тождества, так как понятие «не сделал» применяется в разных значениях:

  1. Не сделал, то есть не совершил что-то плохое, за что можно наказать.
  2. Не сделал что-то, что должен был выполнить.

Получилось, что в одно и то же понятие было вложено два различных смысла. Нарушение закона может выражаться в следующих формах:

  1. Подмена или потеря предмета мысли.
  2. Намеренное искажение.
  3. Замена тезиса — нетождественность положения, которое пытаются доказать, исходному тезису.

Нарушение закона тождества ведёт к неясности мысли, что совершенно недопустимо во многих областях, например, в юриспруденции. Неточное определение или неправильно истолкованное понятие в сфере права способствует появлению беззакония и произвола, поэтому в процессе мышления принцип тождественности выступает в виде важного правила.

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

Виды преобразований

Тождеством в математике называется равенство, которое верно при всех значениях, входящих в него переменных для различных классов функций. Значение этого слова — полное сходство, подобие объектов, явлений друг другу или самим себе. К тождествам можно отнести:

  1. Формулы сокращённого умножения в алгебре.
  2. Тождество параллелограмма. Оно гласит, что сумма квадратов длин сторон параллелограмма равна сумме квадратов длин его диагоналей.
  3. Основное тригонометрическое тождество sin2 α + cos2 α = 1, которое связывает квадраты функций синуса и косинуса для любых значений углов.
  4. Тождество Эйлера (комплексный анализ).

Тождество Эйлера — eiπ + 1 = 0 — часто приводят как пример феноменального результата, который устанавливает неочевидную зависимость между геометрией (число пи) и математическим анализом (экспонента). Формула связывает пять фундаментальных математических констант:

  • число e — основание натурального логарифма;
  • i — мнимую единицу;
  • число пи — соотношение длин окружности и диаметра;
  • 1 и 0 — нейтральные элементы по операциям умножения и сложения соответственно.

Тождественным преобразованием называются операции, которые проводятся для замены исходного выражения на тождественно равное. Например, x3— xy2 = x (x — y)(x + y) — это тождество, так как вынесение за скобки общего множителя и применение формул сокращённого умножения являются тождественными преобразованиями. Для демонстрации подставим вместо переменных x и y произвольные значения. Пусть x = 5; y = 4. Получим слева: 125 — 5 x 16 = 45, справа 5 (5 — 4)(5 + 4) = 45. Совпадение обеих частей равенства доказывает тождественность.

Способы доказательства

Равенство и тождество, которое относится к предельному случаю равенства, — это термины, используемые в математике при решении уравнений. Для доказательства тождества нужно сделать тождественные преобразования выражений в одной или обеих частях равенства и получить одинаковые результаты. При выполнении преобразований необходимо обращать внимание на область допустимых значений (ОДЗ) переменных. Эти операции могут суживать ОДЗ или оставлять её прежней.

При переходе от выражения x + (-y) к выражению (x — y) область допустимых значений переменных x и y будет прежняя. Переход от выражения (x — 5) к отношению (x — 5)2/ (x — 5) приводит к сужению ОДЗ переменной x от (-ꚙ, +ꚙ) до (-ꚙ, 5) U (5, +ꚙ). Способы доказательства:

  1. Применить тождественные преобразования к левой части. Если получится выражение, стоящее в правой части, то тождество считается доказанным.
  2. Преобразовать таким же способом правую часть равенства. Если в результате получится выражение, стоящее в левой части, то доказательство получено.
  3. Сделать тождественные преобразования левой и правой части равенства. Если будет достигнут одинаковый результат, то это служит доказательством тождественности обеих частей.
  4. От правой части равенства отнять левую. Выполнить над разностью равносильные преобразования. Получение в итоге нуля считается доказательством тождественности частей.
  5. Из левой части равенства вычесть правую и произвести над разностью тождественные преобразования. В итоге должен получиться нуль. Тождество будет верным.

В теории множеств для доказательства тождественности часто используются круги или диаграммы Эйлера.

В них графическими методами наглядно можно представить различные операции над множествами: пересечение, объединение, разность, симметрическую разность. Существуют методы построения пересекающихся кругов Эйлера для любого выражения онлайн. Это тоже упрощает доказательство тождественности.

Чтобы доказать нетождественность двух частей выражения, требуется найти хотя бы одно значение переменной из области допустимых значений. При ее подстановке числовые выражения частей получатся неравными друг другу. Разница между уравнением и тождеством заключается в том, что первое может быть выполнено только при некоторых значениях переменных, которые будут его решением, а второе — при всех значениях.

Тождество — это многозначный термин, применяемый в философии, математике, физике. Понятие тождественности уникально по охвату им различной проблематики. С ним сталкиваются и школьники на уроках алгебры и геометрии, и крупные учёные при проведении многочисленных исследований в современной науке.