контрапозиции закон — общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания. Один из этих законов, называемый иногда законом простой контрапозиции, звучит так:… … Словарь терминов логики
КОНТРАПОЗИЦИИ ЗАКОН — логический принцип, согласно к рому если из одного утверждения следует другое, то отрицание последнего влечет отрицание первого: К. з. принимается как классической, так и конструктивной логикой. С. К. Соболев … Математическая энциклопедия
Закон контрапозиции — См. также: Modus tollens Закон контрапозиции закон классической логики, утверждающий, что в том случае, если некая посылка A влечёт некое следствие B, то отрицание этого следствия (то есть «не B») влечёт отрицание этой посылки (то есть «не A»).… … Википедия
ДОКАЗАТЕЛЬСТВО РАЗБОРОМ СЛУЧАЕВ — рассуждение по случаям (англ. proof by cases), – распространенный (особенно в содержательном мышлении) способ логич. вывода, при к ром справедливость заключения устанавливается посредством рассмотрения ряда условий (случаев), анализ к рых… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Список статей по логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
ИНВЕРСИЯ — (от лат. inversio – перестановка) в психологии объемно наглядное переворачивание. Напр., когда наблюдатель движется вперед и назад на некотором расстоянии перед маской, расположенной на темном фоне и обращенной к наблюдателю внутренней стороной,… … Философская энциклопедия
КОНВЕРСИЯ — (лат. conversio, букв. – превращение, изменение) – 1) То же, что обращение. 2) Преобразование условного суждения, состоящее в замене его основания на его следствие, а следствия – на основание; образует из суждения вида Если А, то В суждение вида… … Философская энциклопедия
КОНТРАПОЗИЦИЯ — (позднелат. contrapositio – противопоставление, от лат. contra – против и роsitio положение) – особый вид умозаключений из категорической или условной посылки. О К. категорич. суждения см. Противопоставление, о К. условного суждения см.… … Философская энциклопедия
МОНОТОННОСТЬ — (от греч. μονότονος – однотонный) – свойство нек рых логических или математических операций (функций), состоящее, грубо говоря, в том, что направление возможного изменения результата операций зависит только от направления изменения того, над чем… … Философская энциклопедия
ЗАКОН"> где А и В – переменные для высказываний, А( ) и В( ) – переменные для предикатов, x – предметная переменная, a ⊃, и (∀) - соответственно знаки импликации, отрицания и квантора общности.Лит.: Тарский Α., Введение в логику и методологию дедуктивных наук, М., 1948, гл. 2.