Let P (x, y) be a propositional function. Show that 3x Vy
Chapter 1, Problem 1.22(choose chapter or problem)
Let P (x, y) be a propositional function. Show that 3x Vy P (x , y) --+ Vy 3x P (x , y) is a tautology.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer