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