закон косвенного доказательства
- закон косвенного доказательства
логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: "Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отличное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число".
С использованием символики логической (p, q - некоторые высказывания; -> - импликация, "если, то"; & - конъюнкция, "и"; закон косвенного доказательства - отрицание, "неверно, что") закон записывается так:
(закон косвенного доказательства p->q)&(закон косвенного доказательстваp->закон косвенного доказательстваq)->p,
если (если не-р, то q) и (если не-р, то не-q), то р. 3. к. д. обычно называется также формула:
(закон косвенного доказательстваp->q&закон косвенного доказательстваq)->p,
если (если не-р, то q и не-q), то р. Напр.: "Если из-того, что 10 не является четным числом, вытекает то, что оно делится и не делится на 2, то 10 - четное число".
Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС.
А.А.Ивин, А.Л.Никифоров.
1997.
Смотреть что такое "закон косвенного доказательства" в других словарях:
закон клавия — логический закон, характеризующий связь импликации ( если, то ) и отрицания. Его можно передать так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или короче: высказывание, вытекающее из… … Словарь терминов логики
ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… … Философская энциклопедия
логический закон — выражение, содержащее только логические константы и переменные и явля ющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего,… … Словарь терминов логики
ДОКАЗАТЕЛЬСТВО КОСВЕННОЕ — ДОКАЗАТЕЛЬСТВО КОСВЕННОЕ (непрямое доказательство) доказательство “от противоречащего случая”, такая форма логической аргументации, при которой явно используются дедуктивные свойства противоречия. Обычно выделяют две формы косвенного… … Философская энциклопедия
АБСУРД — (от лат. absurdus нелепый, глупый) нелепость, противоречие. В логике под А. обычно понимается противоречивое выражение. В таком выражении что то утверждается и отрицается одновременно, как, напр., в высказывании «Тщеславие существует и тщеславия… … Философская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ЛОГИКА НАУЧНОГО ПОЗНАНИЯ — или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал … Философская энциклопедия
Санкт-петербургский трамвай/Демонтаж трамвайных путей — Данная подстраница является временной и служит для переработки информации, добавленной незарегистрированным участником Евгений в статью, в викифицированный нейтральный проверяемый текст, способный улучшить основную статью. На выходе… … Википедия
логика научного познания (логика науки) — применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она… … Словарь терминов логики
конструктивная логика — одно из направлений современной логики, изучающее рассуждения о конструктивных объектах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последовательности таких знаков, получаемые… … Словарь терминов логики