The Student Room Group

How to normalize this expression

Normalize the following expression(change implication symbols (->), move negations (⌝) inside parentheses before predicate symbols): ∀x[Ǝy (F(x,y)^G(y))->Ǝy F(x,y)]
I don't know how to start this. Someone, please help!!
(edited 5 years ago)

Quick Reply

Latest