Задан некоторый язык первого порядка с константами а и b одноместными предикатными символами P и Q . Пусть задана интерпретация, носитель которой состоит из двух элементов {a, b}.
Интерпретация предикатов:
P (a) = 1, P (b) = 1;
Q (a) = 1, Q (b) = 0
Найдите истинностные значения формул в данной интерпретации (0 – ложь; 1 – истина).
∀x (P (a) ∨ Q (x)) = ... .
∀xy (P (x) &Q (y)) = ... .
Ответ на один из вопросов компьютерной Контрольной работы №1
Ответ на один из вопросов компьютерной Контрольной работы №1