Viewy — социальная платформа https://viewy.ru VIEWY! Вьюи — это социальная платформа для ведения блогов и каналов обо всем на свете. ru mail@viewy.ru (Viewy Social Network) https://viewy.ru https://viewy.ru/favicon/favicon-152.png Viewy — социальная платформа Связь с естественным языком https://viewy.ru/note/62653873 https://viewy.ru/note/62653873 Thu, 14 Aug 2014 03:04:59 +0300 CROCODILE CROCODILE nonadult Общество Читать на Вьюи... ]]> Часто указывают на сходство между сложением по модулю 2 и конструкцией «либо … либо …» в естественном языке. Составное утверждение «либо A, либо B» считается истинным, когда истинно либо A, либо B, но не оба сразу; в противном случае составное утверждение ложно. Это в точности соответствует определению операции в булевой алгебре, если «истину» обозначать как 1, а «ложь» как 0.

Эту операцию нередко сравнивают с дизъюнкцией потому, что они очень похожи по свойствам, и обе имеют сходство с союзом «или» в повседневной речи. Сравните правила для этих операций:

  • A \lor B истинно, если истинно ~A или ~B, или оба сразу.
  • A \oplus B истинно, если истинно ~A или ~B, но не оба сразу.

    • Операция \oplus исключает последний вариант («оба сразу» ;) и по этой причине называется исключающим «ИЛИ». Операция \lor включает последний вариант («оба сразу» ;) и по этой причине иногда называется включающим «ИЛИ». Неоднозначность естественного языка заключается в том, что союз «или» может применяться в обоих случаях.

    Читать на Вьюи...

    ]]>