14 августа 2014 года в14.08.2014 03:04 4 0 10 1

Связь с естественным языком

Часто указывают на сходство между сложением по модулю 2 и конструкцией «либо … либо …» в естественном языке. Составное утверждение «либо A, либо B» считается истинным, когда истинно либо A, либо B, но не оба сразу; в противном случае составное утверждение ложно. Это в точности соответствует определению операции в булевой алгебре, если «истину» обозначать как 1, а «ложь» как 0.

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

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

    Комментарии

    Зарегистрируйтесь или войдите, чтобы добавить комментарий

    Новые заметки пользователя

    CROCODILE — noname

    4

    Связь с естественным языком

    Часто указывают на сходство между сложением по модулю 2 и конструкцией «либо … либо …» в естественном языке. Со...