Ýêâèâàëåíòíîñòü
Ýêâèâàëåíòíîñòü èëè: Ðàâíîçíà÷íîñòü, - îáùåå íàçâàíèå îòíîøåíèé, ÿâëÿþùèõñÿ ðåôëåêñèâíûìè, ñèììåò- ðè÷íûìè è òðàíçèòèâíûìè (ñì.: Îòíîøåíèå òèïà ðàâåíñòâà). Òàêîâû, íàïð., îòíîøåíèÿ ðàâíî÷èñëåííîñòè, ïîäîáèÿ, èçîìîðôèçìà è äð.  ëîãèêå Ý. — ñëîæíîå âûñêàçûâàíèå «ð, åñëè è òîëüêî åñëè q», îáðàçîâàííîå èç âûñêàçûâàíèé ð è q è ðàçëàãàþùååñÿ íà äâå èìïëèêàöèè: «Åñëè ð, òî q» è «Åñëè q, òî ð», íàïð.: «Òðåóãîëüíèê ÿâëÿåòñÿ ðàâíîñòîðîííèì, åñëè è òîëüêî åñëè îí ÿâëÿåòñÿ ðàâíîóãîëüíûì». Òåðìèíîì «Ý.» îáîçíà÷àåòñÿ è ñâÿçêà «åñëè è òîëüêî åñëè», ñ ïîìîùüþ êîòîðîé èç äâóõ âûñêàçûâàíèé îáðàçóåòñÿ äàííîå ñëîæíîå âûñêàçûâàíèå. Âìåñòî «åñëè è òîëüêî åñëè» äëÿ ýòîé öåëè ìîãóò èñïîëüçîâàòüñÿ «â òîì è òîëüêî â òîì ñëó÷àå, êîãäà», «òîãäà è òîëüêî òîãäà, êîãäà» è ò. ï.
|