закон косвенного доказательства


закон косвенного доказательства
логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: "Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отличное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число".
С использованием символики логической (p, q - некоторые высказывания; -> - импликация, "если, то"; & - конъюнкция, "и"; закон косвенного доказательства - отрицание, "неверно, что") закон записывается так:
(закон косвенного доказательства p->q)&(закон косвенного доказательстваp->закон косвенного доказательстваq)->p,
если (если не-р, то q) и (если не-р, то не-q), то р. 3. к. д. обычно называется также формула:
(закон косвенного доказательстваp->q&закон косвенного доказательстваq)->p,
если (если не-р, то q и не-q), то р. Напр.: "Если из-того, что 10 не является четным числом, вытекает то, что оно делится и не делится на 2, то 10 - четное число".

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "закон косвенного доказательства" в других словарях:

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

  • ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… …   Философская энциклопедия

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

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

  • АБСУРД — (от лат. absurdus нелепый, глупый) нелепость, противоречие. В логике под А. обычно понимается противоречивое выражение. В таком выражении что то утверждается и отрицается одновременно, как, напр., в высказывании «Тщеславие существует и тщеславия… …   Философская энциклопедия

  • СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… …   Философская энциклопедия

  • ЛОГИКА НАУЧНОГО ПОЗНАНИЯ — или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал …   Философская энциклопедия

  • Санкт-петербургский трамвай/Демонтаж трамвайных путей — Данная подстраница является временной и служит для переработки информации, добавленной незарегистрированным участником Евгений в статью, в викифицированный нейтральный проверяемый текст, способный улучшить основную статью. На выходе… …   Википедия

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

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


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.