How do I show that ∀ x P -LRB- x -RRB- ∨ ∀ x Q -LRB- x -RRB- and ∀ x -LRB- P -LRB- x -RRB- ∨ Q -LRB- x -RRB- -RRB- are not logically equivalent ?
How do I show that ∀ x ¬ -LRB- Q -LRB- x -RRB- → P -LRB- x -RRB- -RRB- and ∀ x -LRB- Q -LRB- x -RRB- ∧ ¬ P -LRB- x -RRB- -RRB- are logically equivalent or not ?