Какой из разделов математической логики позволяет формализовать утверждения, связанные с единичным объектом?

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

• # Укажите, какое из следующих отношений задают функцию?
• # Даны множества: X1, X2, X3. Сколько элементов содержит множество Y, которое является декартовым произведением заданных множеств. X1 = {a, b, c}; X2 = {3, 9, 2}; X3 = {3, 6, 0.9}.
• # Сколько существует логических функций от одной переменной?
• # Какая из следующих бинарных логических функций может быть задана как отрицание функции Исключающее ИЛИ?
• # Решить логическое уравнение F(x1, x2,x3)=1. В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 8) считаются упорядоченными и представляют двоичную запись чисел от 0 до 7, представленную двоичным словом длины 3: 000, 001, 010 и т.д. где: F7: X1 ⇒ (X2 ≡ X3) При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3) = 1, где F: x1 | x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 5(2) Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102= 210