Найти истинностные значения двух формул для заданного Q(x,y,z), используя следующие обозначения: Предикат P(x,y) определен на множестве натуральных чисел, причем P(x,y) =1, если (х=1) или (у=2) или (х=у). В остальных случаях P(x,y) =0.
\nP(x,y),x,y,z∈Ν,Q(x,y,z)=P(x,y)∨P(x,z).
∀xQ(x,x,x),∃y∃zQ(y,y,z).
Рассмотрим сначала предикат P(x,y), определённый на множестве натуральных чисел: P(x,y)=1, если выполняется хотя бы одно условие: x=1 или y=2 или x=y, и P(x,y)=0 во всех остальных случаях.
Далее дана формула Q(x,y,z)=P(x,y)∨P(x,z).
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
