Show that
∀xP (x) ∨ ∀xQ(x) ̸≡ ∀x [P (x) ∨ Q(x)]
By defining a universe of discourse and predicts P, Q over it such
that one side of the expression evaluates
to true and the other side evaluates to false.
Get Answers For Free
Most questions answered within 1 hours.