Содержание
1. ПОНЯТИЕ «ЭКВИВАЛЕНЦИЯ»3
2. ВЫРАЖЕНИЕ ЭКВИВАЛЕНЦИИ В ЕСТЕСТВЕННОМ ЯЗЫКЕ4
3. ОПРЕДЕЛЕНИЕ ЭКВИВАЛЕНЦИИ В ТЕРМИНАХ ИСТИНЫ И ЛЖИ5
4. ЭКВИВАЛЕНТНОСТЬ КАК ВИД СОМЕСТИМЫХ СУЖДЕНИЙ6
ЛИТЕРАТУРА7
Выдержка из текста
Эквиваленция является логической операцией, обозначаемой в классическом исчислении высказываний a≡b, или a↔b, или a ← b.
Эквивалентность – сложное высказывание “А, если и только если B», образованное из высказываний А и В и разлагающеееся на две импликации: «если А, то В» и «если В, то А». Например: «Треугольник является равносторонним, если и только если он является равноугольным». Термином «эквивалентность» обозначается и связка «…, если и только если…», с помощью которой из двух высказываний образуется данное сложное суждение. Вместо «…, если и только если…» для этой цели могут использоваться и другие связки, о чем речь пойдет далее.
Эквивалентность называют иногда «двойной импликацией». Импликация, в свою очередь, также является логической связкой, образующей из простых суждений сложное, и соответствует союзу «если, то». Связь эквивалентности и импликации можно представить так: «А ↔В» означает «(А→В) ^ (В→А)». Например: высказывание «Ромб является квадратом, если и только если все углы ромба прямые» означает «Если ромб есть квадрат, то все углы ромба прямые, и если все углы ромба прямые, то ромб есть квадрат».
Список использованной литературы
1. Гетманова А.Д. Логика: Словарь и задачник. М, 1998.
2. Гетманова А.Д. Учебник по логике. М, 1994.
3. Ивин А.А. Элементарная логика. М, 1994.
4. Челпанов Г. И. Учебник логики. М, 1994.
5. Зегеш В. Элементарная логика. М, 1985.
С этим материалом также изучают
Подробный разбор структуры академической работы по теме "Суждение и его виды". В статье вы найдете детальную классификацию простых и сложных суждений, анализ распределенности терминов, модальные типы, а также готовый план реферата с рекомендациями к каждому разделу.
... законы мышления. Итак, мышление является объектом изучения науки логики. Однако, мышление также является объектом изучения и ... внутренние свойства предметов и явлений, познаваемые только при помощи абстрактного мышления, отражающего действительность ...
Изучите дизъюнктивные и конъюнктивные нормальные формы в логике высказываний. В статье вы найдете всё от основных понятий и логических связок до методов приведения формул и их практического значения в IT.
... является высказыванием? 1) Рукописи не горят; 2) Граждане, переходите улицу только на зеленый сигнал светофора!; 3) Для любых чисел, верно, что если ... одно из предложений не является высказыванием. Вопрос 3. Установите вид суждения: «среди учащихся есть ...
Исчерпывающее руководство по основам формальной логики, раскрывающее суть понятий, классификацию суждений и правила их отрицания. Материал содержит все необходимые теоретические сведения и примеры для подготовки качественного реферата.
Глубокий анализ суждения в формальной логике: структура, классификация, распределенность терминов, сложные суждения и историческая эволюция. Незаменимо для студентов и исследователей.
Готовитесь к контрольной по логике? Наше руководство поможет разобраться с самыми сложными темами: от кругов Эйлера до силлогизмов. Содержит пошаговый разбор типовых заданий и примеры.
Изучите формальную логику: от основ высказываний и законов Де Моргана до решения задач "Рыцари и лжецы" и сценарных головоломок. Методология и HTML-практикум.
Изучите нормальные и совершенные нормальные формы (ДНФ, КНФ, СДНФ, СКНФ). Статья содержит определения, ключевые законы и пошаговые алгоритмы с примерами.
