| Наименование: | Эквиваленция (образовано от латинского слова: aequivalens — равнозначный, равноценный, равносильный). |
| Определение: | Эквиваленция — это логическая операция, принятая в формализованных языках для образования сложных высказываний из простых и по смыслу равнозначная строгому условию «если…, то…», принятому в естественном языке. |
| Раздел: | Концепты философского дискурса Концепты научного дискурса |
| Дискурс: | Философия |
| Субдискурс: | Семантика Логическая семантика Логика Логика формальная Логика символическая Логика высказываний |
| Связанные концепты: | Логические операции Высказывание Конъюнкция Дизъюнкция Импликация Отрицание |
| Текст статьи: © Ф. Н. Голдберг. Подготовка электронной публикации и общая редакция: © Центр гуманитарных технологий. Главный редактор: А. В. Агеев. Информация на этой странице периодически обновляется. Последняя редакция: 22.09.2025. | |
Эквиваленция — это логическая операция, принятая в формализованных языках (см. Язык формализованный) для образования сложных высказываний (формул) из элементарных (простых) высказываний (см. Высказывание) и по смыслу равнозначная строгому условию «если…, то…», принятому в естественном языке (см. Язык). Эквиваленция читается: «A эквивалентно B», или «A равнозначно B», или «A то же самое, что B», или «A, если и только если B», или «A, тогда и только тогда, когда B»; записывается: Понятие эквиваленции сформировалось в процессе обособления языка логики и его последующей символизации (см. Логика символическая). В классической логике (см. Логика), формальной логике (см. Логика формальная), языках формальных теорий (см. Формализация) и языках программирования эквиваленция составляет одну из пяти наиболее распространённых логических связок, или логических операций (см. Логические операции), наряду с конъюнкцией (см. Конъюнкция), дизъюнкцией (см. Дизъюнкция), импликацией (см. Импликация) и отрицанием (см. Отрицание). | |
Библиография | |
|---|---|
| |