- отрицание обратной импликации
- мат. converse nonimplication
Большой англо-русский и русско-английский словарь. 2001.
отрицание обратной импликации
Смотреть что такое "отрицание обратной импликации" в других словарях:
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО КОСВЕННОЕ — ДОКАЗАТЕЛЬСТВО КОСВЕННОЕ (непрямое доказательство) доказательство “от противоречащего случая”, такая форма логической аргументации, при которой явно используются дедуктивные свойства противоречия. Обычно выделяют две формы косвенного… … Философская энциклопедия
