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