- правило отождествления
- мат. identification rule
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… … Философская энциклопедия
АБСТРАКЦИЯ ОТОЖДЕСТВЛЕНИЯ — одна из осн. абстракций математики и логики, позволяющая говорить об одинаковых объектах как об одном и том же объекте. А. о. представляет собой «образование абстрактного понятия путём объединения, отождествления предметов, связанных… … Философская энциклопедия
абстракция отождествления — АБСТРАКЦИЯ ОТОЖДЕСТВЛЕНИЯ способ формирования общих абстрактных понятий, заключающийся в том, что уже при самом первом ознакомлении с какими либо реальными, осязаемыми объектами мы начинаем далее принимать во внимание лишь те из различий… … Энциклопедия эпистемологии и философии науки
ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… … Философская энциклопедия
АБСТРАКЦИЯ — (от лат. abstractio отвлечение, отделение) процесс мысленного отвлечения одних свойств и отношений вещей и явлений от других. А. отождествления выделяет общее свойство объектов путем установления отношения эквивалентности или равенства между ними … Философская энциклопедия
ЕВХАРИСТИЯ. ЧАСТЬ I — [греч. Εὐχαριστία], главное таинство христ. Церкви, состоящее в преложении (μεταβολή изменение, превращение) приготовленных Даров (хлеба и разбавленного водой вина) в Тело и Кровь Христовы и причащении (κοινωνία приобщение; μετάληψις принятие)… … Православная энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
АВТОМАТ КОНЕЧНЫЙ — математическая модель устройства с конечной памятью, преобразующего дискретную информацию. А. к. является одним из важнейших видов управляющих сиcтем. Содержательно А. к. можно охарактеризовать как устройство, имеющее входной и выходной каналы и… … Математическая энциклопедия
ДУША — [греч. ψυχή], вместе с телом образует состав человека (см. статьи Дихотомизм, Антропология), будучи при этом самостоятельным началом; Д. человека заключает образ Божий (по мнению одних отцов Церкви; по мнению других образ Божий заключен во всем… … Православная энциклопедия
Русофобия — Часть серии статей о дискриминации Основные формы Расизм · Сексизм … Википедия