дизъюнкция
81ЛОГИЧЕСКАЯ ОПЕРАЦИЯ — операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Основные и наиболее распространенные логические операции, реализуемые в ЭВМ, дизъюнкция, конъюнкция, отрицание; при составлении программ для ЭВМ… …
82вероятностная логика — разновидность многозначной логики, в которой высказываниям (суждениям) наряду с истиной и ложью приписываются промежуточные значения, представляющие собой различные степени вероятности истинности высказываний, степени правдоподобия или… …
83закон де моргана — общее название логических законов, связывающих с помощью отрицания конъюнкцию ( и ) и дизъюнкцию ( или ). Названы именем англ. логика XIX в. А. де Моргана. Один из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции… …
84закон дистрибутивности — (от англ. distribution распределение, размещение) общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой. Полный 3. д. конъюнкции относительно дизъюнкции с… …
85закон исключенного третьего — логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: Аристотель умер в 322 г. до н. э. или он… …
86закон коммутативности — (от лат. commutatio изменение, перемена) общее название логических законов, позволяющих менять местами высказывания, связанные конъюнкцией ( и ), дизъюнкцией ( или ), эквивалентностью ( если и только если ) и др. Эти законы аналогичны… …
87модус понендо толленс — (лат. modus ponendo tollens) термин средневековой логики, обозначающий следующие схемы рассуждения: Либо A, либо В; А. и Либо A, либо В; В. Неверно В. Неверно A. Здесь A и В некоторые высказывания; либо A, либо В и A посылки; неверно, что B ( не… …
88модус толлендо поненс — (лат. modus tollendo ponens) термин средневековой логики, обозначающий разделительно кате горическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения разделительное (дизъюнктивное) высказывание; вторая… …
89пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… …
90разделительно-категорическое умозаключение — умозаключение, в котором одна из посылок разделительное суждение, а другая категорическое. Р. к. у. имеет два модуса: 1) модус утверждающе отрицающий; 2) модус отрицающе утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или P2… …
