дизъюнктивное (разделительное) суждение, в котором входящие в него суждения связаны логическим союзом «или», имеющим исключающее значение.
Свойства дизъюнкции:
Если хотя бы одно из подвыражений дизъюнкции истинно на некотором наборе значений...
(\bar{A} \vee B) \cdot (A \cdot \bar{B})$
ДНФ $A \equiv B = \bar{A} \cdot \bar{B} \vee A \cdot B$
Строгая...
)
Строгая дизъюнкция истинна, если значения аргументов не равны....
Свойства строгой дизъюнкции:
$a \oplus 0 = a$(идемпотентность)
$a \oplus 1 = \bar{a}$(отрицание)
$a...
и строгая дизъюнкция (логическое сложение);
Импликация (следствие);
Эквивалентность (тождество).
В статье рассматриваются модальные характеристики двучленных и многочленных сложносочиненных предложений с соединительным и разделительным значениями.
Определение 5
Суждения, построенные с помощью исключающего союза «или», называются строго-разделительными...
(суждениями сильной (строгой) дизъюнкции, суждениями с исключающей альтернативой)....
Строго разделительное суждение является истинным только в том случае, когда истинно одно из входящих...
Если оба суждения истинны или оба ложны, то строго разделительное суждение ложно....
Работая с разделительными суждениями, необходимо разделять два типа дизъюнкции:
полная дизъюнкция, включающая
В данной статье исследуется разнообразие точек зрения на проблему соотношения понятий рисков и неопределенностей при помощи формально-логического подхода. Для изучения точек зрения на проблему соотношения понятий была представлена следующая градация в виде групп: отождествление понятий, разделение понятий, взаимное дополнение понятий. Использование формально-логического подхода позволяет представить взаимодействие понятий как логическое выражение, результатом которого является одна из точек зрения исследователей. Для наглядности были использованы такие операторы, как конъюнкция, строгая дизъюнкция и импликация. Каждая из точек зрения имеет те или иные аргументы, но авторы данной статьи придерживаются мнения, что понятия рисков и неопределенностей взаимно дополняют друг друга, т.е. находятся в отношении импликации. При использовании иных соотношений этих понятий могут возникнуть сложности при идентификации, оценке и учете рисков и неопределенностей. На основании изученных точек зрени...
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
суждения, посредством которых обосновывается истинность к.-л. другого суждения.
аналогия, которая применятеся тогда, когда точно и определенно установленна связь между общими признаками, имеющими у обоих составляемых предметов , и тем признаком, который присваеется исследуемому предмету по аналогии с известным уже предметом.
