Can someone help me with this exercise? Show that the following is a theorem of the First-order deductive system: ⊢(∀y) ((∀x)F(x) → F(y)) Thank you so much!!
Follow Math Help Forum on Facebook and Google+
Welcome to the forum. Please see this sticky thread.
View Tag Cloud