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