Задан некоторый язык первого порядка с константами aaa и bbb одноместными предикатными символами PPP и QQQ. Пусть задана интерпретация, носитель которой состоит из двух элементов {a,b}{a,b}{a,b}. Интерпретация предикатов: P(a)=1P(a)=1P(a)=1, P(b)=1P(b)=1P(b)=1; Q(a)=1Q(a)=1Q(a)=1, Q(b)=0Q(b)=0Q(b)=0.
Найдите истинностные значения формул в данной интерпретации (0 – ложь; 1 – истина).

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.