Все мои друзья отдыхают на море. Двое из них иногда отдыхают на озере. Коля – никогда не отдыхает на море. Истинность какого вывода не вызывает сомнения?

Правильный ответ:

• # В этой задаче, рассматривая элемент отношения <x1, x2, … xn, xn+1>, будем полагать, что компоненты x1, x2, … xnпринадлежат области определения отношения, а xn+1– принадлежит области значений отношения. Укажите, какие из следующих отношений задают функции?
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) ≡ (x1 ≡ x3) = 1 (x2 ≡ x3) ≡ (x2 ≡ x4) = 1
• # Какие утверждения относятся к логике высказываний?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – импликацией и Стрелкой Пирса.
• # Какое бинарное отношение обладает свойством рефлексивности?