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