Докажите выполнимость следующих формул: а) (∀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 имеем: