конъюнкция
81вероятностная логика — разновидность многозначной логики, в которой высказываниям (суждениям) наряду с истиной и ложью приписываются промежуточные значения, представляющие собой различные степени вероятности истинности высказываний, степени правдоподобия или… …
82закон де моргана — общее название логических законов, связывающих с помощью отрицания конъюнкцию ( и ) и дизъюнкцию ( или ). Названы именем англ. логика XIX в. А. де Моргана. Один из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции… …
83закон дистрибутивности — (от англ. distribution распределение, размещение) общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой. Полный 3. д. конъюнкции относительно дизъюнкции с… …
84закон коммутативности — (от лат. commutatio изменение, перемена) общее название логических законов, позволяющих менять местами высказывания, связанные конъюнкцией ( и ), дизъюнкцией ( или ), эквивалентностью ( если и только если ) и др. Эти законы аналогичны… …
85закон композиции — (от лат. compositio сочинение, составление) общее название ряда логических законов, позволяющих объединять следствия определенных условных высказываний или разделять их основание. Один из этих законов можно выразить так: если верно, что если… …
86закон косвенного доказательства — логический закон, позволяющий делать заключения об истинности какого то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: Если из того, что 11 не является простым числом, вытекает то, что оно делится на… …
87закон экспортации - импортации — (от лат. exportare вывозить, importare ввозить) логический закон, говорящий о заменимости в определенных случаях конъюнкции ( и ) импликацией ( если, то ), и наоборот. Его можно передать так: первое и второе влечет третье тогда и только тогда,… …
88иррациональное — (от лат. irrationalis неразумный, бессознательный) находящееся на пределами разума, противоречащее логике. Обычно противопоставляется рациональному как разумному, целесообразному, обоснованному. Понимание И. зависит от определения понятия… …
89контрапозиции закон — общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания. Один из этих законов, называемый иногда законом простой контрапозиции, звучит так:… …
90логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… …
