Словари :: Словарь по логике

ЭКВИВАЛЕНТНОСТЬ, или: Равнозначность 
общее на­звание отношений, являющихся рефлексивными, симметричными и транзитивными (см.: Отношение типа равен­ства). Таковы, напр., отношения равночисленности, подобия, изо­морфизма и др. В логике Э. — сложное высказывание «р, если и только если q», образованное из высказываний р и q и разлагающееся на две импли­кации: «Если р, то q» и «Если q, то р», напр.: «Треугольник являет­ся равносторонним, если и только если он является равноуголь­ным». Термином «Э.» обозначается и связка «если и только если», с помощью которой из двух высказываний образуется данное слож­ное высказывание. Вместо «если и только если» для этой цели могут использоваться «в том и только в том случае, когда», «тогда и только тогда, когда» и т. п.



Доска объявлений
Добавить объявление
Все объявления
Агрокарта Французская косметика Купить билет в дельфинарий Утеплення

voc.metromir.ru © 2004-2006
metromir:  metromir.ru  атлас мира  библиотека  игры  мобильный  недвижимость  новости  объявления  программы  рефераты  словари  справочники  ТВ-программа  ТЕКСТЫ ПЕСЕН  Флеш игры  Флеш карты метро мира