контрапозиции

См. также в других словарях:

• КОНТРАПОЗИЦИИ ЗАКОН — закон логики, гласящий, что если из нек рого суждения А следует суждение В, то из отрицания суждения В следует отрицание суждения А. К. з. можно также сформулировать в виде правила для условных суждений: из истинности суждения Если А, то В… …   Философская энциклопедия

• контрапозиции закон — общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания. Один из этих законов, называемый иногда законом простой контрапозиции, звучит так:… …   Словарь терминов логики

• КОНТРАПОЗИЦИИ ЗАКОН — логический принцип, согласно к рому если из одного утверждения следует другое, то отрицание последнего влечет отрицание первого: К. з. принимается как классической, так и конструктивной логикой. С. К. Соболев …   Математическая энциклопедия

• Закон контрапозиции — См. также: Modus tollens Закон контрапозиции закон классической логики, утверждающий, что в том случае, если некая посылка A влечёт некое следствие B, то отрицание этого следствия (то есть «не B») влечёт отрицание этой посылки (то есть «не A»).… …   Википедия

• КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО — понятие логики (см. Умозаключение апагогическое). Философский энциклопедический словарь. 2010. КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО …   Философская энциклопедия

• ОТРИЦАНИЕ —         филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает …   Философская энциклопедия

• ДОКАЗАТЕЛЬСТВО РАЗБОРОМ СЛУЧАЕВ — рассуждение по случаям (англ. proof by cases), – распространенный (особенно в содержательном мышлении) способ логич. вывода, при к ром справедливость заключения устанавливается посредством рассмотрения ряда условий (случаев), анализ к рых… …   Философская энциклопедия

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… …   Словарь терминов логики

• непосредственное умозаключение — (в традиционной логике) умозаключение из одной посылки. К числу Н. у. относятся обращение суждений, превращение суждений, противопоставление предикату, некоторые умозаключения по логическому квадрату, напр. от истинности общих суждений (А и Е) к… …   Словарь терминов логики

• условное умозаключение — умозаключение, включающее посылки, представляющие собой условные суждения (см.: Условное высказывание). У. у. может состоять лишь из одной условной посыл ки, может включать кроме условной и другие посылки, не являющиеся условными, а также может… …   Словарь терминов логики