Словарь логики - эквивалентность
Эквивалентность
эквивалентность
или: Равнозначность, общее название отношений, являющихся рефлексивными, симметричными и транзитивными (см.: Отношение типа равенства). Таковы, напр., отношения равночисленности, подобия, изоморфизма и др. В логике Э. — сложное высказывание «р, если и только если q», образованное из высказываний р и q и разлагающееся на две импликации: «Если р, то q» и «Если q, то р», напр.: «Треугольник является равносторонним, если и только если он является равноугольным». Термином «Э.» обозначается и связка «если и только если», с помощью которой из двух высказываний образуется данное сложное высказывание. Вместо «если и только если» для этой цели могут использоваться «в том и только в том случае, когда», «тогда и только тогда, когда» и т. п. .Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 372 | |
2 | 371 | |
3 | 363 | |
4 | 339 | |
5 | 338 | |
6 | 335 | |
7 | 328 | |
8 | 325 | |
9 | 324 | |
10 | 323 | |
11 | 319 | |
12 | 316 | |
13 | 313 | |
14 | 313 | |
15 | 311 | |
16 | 309 | |
17 | 309 | |
18 | 308 | |
19 | 306 | |
20 | 299 |