Исключа́ющее «или» (сложе́ние по мо́дулю 2, XOR, строгая дизъюнкция, поразрядное дополнение, инвертирование по маске, жегалкинское сложение, логическое вычитание, логи́ческая неравнозна́чность) — булева функция, а также логическая и битовая операция, в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а другой — ложен. Для функции трёх (тернарное сложение по модулю 2) и более переменных — результат выполнения операции будет истинным только тогда, когда количество аргументов, равных 1, составляющих текущий набор, — нечётное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции.
Объемы двух понятий исключают друг друга, но входят в третье более широкое. 1. Суждение «Некоторые студенты учатся в МГЮА» является частноутвердительным, т.к. в нем присутствует частный квантор «некоторые» и нет отрицательной частицы НЕ. Некоторые студенты учатся в МГЮА КВ S P Некоторые S есть Р I S- P+ Суждение «Ни один студент не учится в МГЮА» является общеотрицательным, т.к. в нем присутствует общий квантор «ни один» и есть отрицательная частица НЕ. Ни один студент не учится в МГЮА КВ S P Ни один S не есть Р Е S+ P+ Суждения находятся в отношении противоречия и не могут быть одновременно не истинными не ложными (Е – I). 4. Суждение «В здоровом теле здоровый дух» является общеутвердительным. В здоровом теле здоровый дух S P Все S есть Р А S+ P- 5. Суждение «Не верно, что Митя и Вася весь день просидели перед компьютером» является противоречащим. Оно эквивалентно суждению «Митя и Вася НЕ весь день просидели перед компьютером». По правилу частноотрицательных суждений имеем «Некоторые S не есть Р». Митя и Вася НЕ весь день просидели перед компьютером S P Некоторые S не есть Р О S- P+
Объяснение:
