Условие:
Докажите выполнимость следующих формул:
а) (∀x)(∃y)(Q(x,y)∧ 
.
б) (∃x) (∃y) (P(x) ∧
).
Решение:
а) (x)(y)(Q(x,y).
Пусть Q(x,y) - предикат "xy", определенный на множестве Е = {0,1}. Построим таблицу истинности:
При х=0 при у=1 имеем: = 1, а при х=1 при у=0 имеем: