Содержание
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.
С этим материалом также изучают
... Де-Моргана: Если человек получил высшее образование, то он хорошо воспитан Выдержка из текста 7 готовых заданий по логике, по теме: Суждения Список ...
... законы мышления. Итак, мышление является объектом изучения науки логики. Однако, мышление также является объектом изучения и ... внутренние свойства предметов и явлений, познаваемые только при помощи абстрактного мышления, отражающего действительность ...
... соленоида длиной l и сопротивлением R, если обмоткой соленоида является проволока массой m (принять плотность проволоки ... соленоида длиной l и сопротивлением R, если обмоткой соленоида является проволока массой m (принять плотность проволоки ...
... является высказыванием? 1) Рукописи не горят; 2) Граждане, переходите улицу только на зеленый сигнал светофора!; 3) Для любых чисел, верно, что если ... одно из предложений не является высказыванием. Вопрос 3. Установите вид суждения: «среди учащихся есть ...
... все нет» является A/ импликацией; B/ сублимацией; C/ конъюнкцией; D/ дизъюнкцией; E/ эквиваленцией. 30. Суждение «Если Солнце является треугольником, то ... мышления. 2. Что обозначает термин «логика» в приведенном ниже высказывании: «С трудом он ослабил ...
... свой гимн" является: 117. Если общеутвердительное суждение (А) истинно, то противоречащее суждение (О) 118. Если частноутвердительное суждение (У) истинно, то общеутвердительное суждение (А) 128. Импликация ложна только тогда, когда: ...
... Сложное суждение: "Посеешь ветер – пожнёшь бурю", – является: 5. С точки зрения формальной логики высказывание: "Все Снегурочки – это геометрические фигуры": 50. Строгая дизъюнкция истинна только ...
... витков?» - не является высказыванием, т.к. является вопросительным предложением. 2. Если запланированный биржей объем ... ромб; d) -17 Тема 2. Операции над высказываниями 1. Отрицание высказывания Упражнение. Составить отрицание следующих высказываний ...
Изучите дизъюнктивные и конъюнктивные нормальные формы в логике высказываний. В статье вы найдете всё от основных понятий и логических связок до методов приведения формул и их практического значения в IT.
