Закон контрапозиції – це
Закон контрапозиції— закон класичної логіки, який стверджує, що в тому випадку, якщо якась посилка A тягне за собою певний наслідок B, то заперечення цього слідства (тобто «не B») тягне заперечення цієї посилки (тобто «не A»).
Як і будь-яке загальнозначуще імплікативне твердження, може бути також правилом виведення.
Wikimedia Foundation. 2010 .
Дивитись що таке "Закон контрапозиції" в інших словниках:
КОНТРАПОЗИЦІЇ ЗАКОН — закон логіки, який проголошує, що якщо з деякого судження А випливає судження В, то з заперечення судження В слід заперечення судження А. К. з. можна також сформулювати у вигляді правила для умовних суджень: з істинності судження Якщо А, то В ... Філософська енциклопедія
контрапозиції закон - загальна назва для ряду логічних законів, що дозволяють за допомогою заперечення змінювати місцями підставу та слідство (антецедент та консеквент) умовного висловлювання. Один із цих законів, званий іноді законом простої контрапозиції, звучить так: Словник термінів логіки
КОНТРАПОЗИЦІЇ ЗАКОН - логічний принцип, згідно з ромом якщо з одного твердження випливає інше, то заперечення останнього тягне заперечення першого: К. з. приймається як класичною, і конструктивної логікою. С. К. Соболєв … Математична енциклопедія
АЛГЕБРА ЛОГІКИ - система алгебраїч. методів вирішення логіч. задач, і навіть сукупність завдань, розв'язуваних такими методами. А. л. у вузькому значенні слова алгебраїч. (Табличне, матричне) побудова класич. логіки висловлювань, в якому розглядаються... Філософська енциклопедія
КОНСТРУКТИВНА ЛОГІКА — 1) те саме, що й інтуїціоністська логіка; 2) гілка логіки, в якій вивчаються фінітні міркуванняпро конструктивні об'єкти та процеси (див. Конструктивний напрямок) та будується відповідностей. Семантика. У К. л. відкидається … Філософська енциклопедія
Список статей з логіки - Це службовий список статей, створений для координації робіт з розвитку теми. Дане попередження не ... Вікіпедія
логіка висловлювань - (Пропозиційна логіка) розділ логіки, формалізує вживання логічних зв'язок і, або, якщо, те й т. п., службовців для утворення складних висловлювань з простих. Висловлювання називається простим, якщо воно не включає в себе інші ... Словник термінів логіки
ФОРМАЛІЗАЦІЯ — (від лат. forma вид, образ) відображення об'єктів деякої предметної області за допомогою символів к. л. мови. Найпростіший вид Ф. пряма репрезентація (позначення, найменування, опис) об'єктів за допомогою термінів. Напр., в природному мові роль ... Філософська енциклопедія
Логіка висловлювань — Для покращення цієї статті бажано?: Проставивши виноски, внести точніші вказівки на джерела. Логіка висловлювань (чи … Вікіпедія
Обчислення висловлювань — Логіка висловлювань (або пропозиційна логіка) це формальна теорія, основним об'єктом якої є поняття логічного висловлювання. З погляду виразності, її можна охарактеризувати як класичну логіку нульового порядку.