- общее название отношений, являющихся рефлексивными, симметричными и транзитивными (см.: Отношение типа равенства). Таковы, напр., отношения равночисленности, подобия, изоморфизма и др. В логике Э. - сложное высказывание "р, если и только если q", образованное из высказываний р и q и разлагающееся на две импликации: "Если р, то q" и "Если q, то р", напр.: "Треугольник является равносторонним, если и только если он является равноугольным". Термином "Э." обозначается и связка "если и только если", с помощью которой из двух высказываний образуется данное сложное высказывание. Вместо "если и только если" для этой цели могут использоваться "в том и только в том случае, когда", "тогда и только тогда, когда" и т. п.
Найти все значения выражения Эквивалентность, Или: Равнозначность,:
Если Вы искали другое значение слова/фразы Эквивалентность, Или: Равнозначность,, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Эквивалентность, Или: Равнозначность, ищут определения этих слов:
Экспликация — (от лат. explicatio - разъяснение) - уточнение понятий и утверждений естественного и научного языка с помощью средств символической логики. Содержание понятий естественного языка чаще всего не вполне ясно и определенно. Обычно это не мешает нам...
Формальная Теория — - теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система...
Условное Умозаключение — - умозаключение, включающее посылки, представляющие собой условные суждения (см.: Условное высказывание). У. у. может состоять лишь из одной условной посылки, может включать кроме условной и другие посылки, не являющиеся условными, а также может...
Формальная Логика, Или: Логика — - наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания (см.: Содержание и форма). Определение "формальная" было введено И. Кантом (1724-1804) с намерением подчеркнуть...
Эвристика — (от греч. heurisko - отыскиваю, открываю) - совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач. Э. называют также специальную научную область, изучающую специфику творческой...
Экзистенциальное Высказывание — (от лат. existentia - существование) - высказывание о существовании к.-л. предметов и явлений, напр.: "Жизнь на Марсе существует", "Существуют ядовитые грибы" и т. п. Для выражения таких высказываний в формальном языке используется квантор...
Энтимема — (от греч. in thymos - в уме) - 1) рассуждение, доказательство, в котором некоторые посылки либо заключение не формулируются в явной форме, но подразумеваются; 2) силлогизм, в котором не выражена в явной форме к.-л. его часть: большая или...
Функтор — - средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак "+" можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
