- Правило отрицания
-
Правило отрицания
Правило отрицания квантеров — применяется для построения отрицаний высказываний, содержащих кванторы, и имеет вид:
Правило отрицания называют также правилом де Мо́ргана.
Wikimedia Foundation. 2010.
Правило отрицания
Смотреть что такое "Правило отрицания" в других словарях:
Правило де Моргана — Правило отрицания применяется для построения отрицаний высказываний, содержащих кванторы, и имеет вид: Правило отрицания называют также правилом де Моргана … Википедия
ОТРИЦАНИЯ ОТРИЦАНИЯ ЗАКОН — один из осн. законов диалектики, характеризующий направление процесса развития, единство поступательности и преемственности в развитии, возникновения нового и относит. повторяемости некоторых моментов старого. Впервые был сформулирован… … Философская энциклопедия
Закон отрицания отрицания — Диалектическая логика в широком смысле есть философская наука, систематически развёрнутое изложение диалектики, понимаемой как логика (наука о мышлении) и теория познания объективного мира. В узком смысле, логическая дисциплина о формах… … Википедия
Квантор — Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» … Википедия
ПРИВЕДЕНИЕ К АБСУРДУ — правило логич. вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение , то из списка Г следует . Правило П. к а. записывают, напр., в виде и наз. также правилом введения отрицания. П. к а.… … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
ЗЛО — [греч. ἡ κακία, τὸ κακόν, πονηρός, τὸ αἰσχρόν, τὸ φαῦλον; лат. malum], характеристика падшего мира, связанная со способностью разумных существ, одаренных свободой воли, уклоняться от Бога; онтологическая и моральная категория, противоположность… … Православная энциклопедия
ИСТОРИОГРАФИЯ — (от история (см.) и греч. grapo пишу, букв. описание истории) 1) История ист. науки, являющейся одной из важнейших форм самопознания человеческого общества. И. наз. также совокупность исследований, посвященных определенной теме или исторической… … Советская историческая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
