Земля – планета Солнечной системы. Солнце – звезда в галактике "лечный путь. Наша галактика – это спиральная галактика со многими рукавами. Солнце находится в рукаве Ориона. Галактика "лечный путь вместе с галактиками Андромеды и Треугольника входят в скопление Девы. Какой вывод может быть как истинным, так и ложным?

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

• # Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?
• # В элементах бинарных отношений < X1, X2 > будем полагать, что компонента X1 принадлежит области определения отношения, а X2 – принадлежит области значений отношения. Укажите, какие из следующих отношений задают функцию от одного аргумента?
• # Какова мощность множества (число его элементов), задающего область определения логической функции от трех переменных?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = X1 ⇒ (X2 ⇒ X3); Ф2 = X1 ∧ (X2 ∧ X3); (в Ф2 символ ∧ означает операцию Исключающее ИЛИ)
• # Все молодые люди любят джаз. Некоторые из них любят классическую музыку. Александр - молодой человек. Истинность какого вывода не вызывает сомнения?