Invalidity: Use the finite universe method to show that the following symbolic arguments are invalid. [5 points each] ∀x
Posted: Thu May 12, 2022 2:40 pm
Invalidity: Use the finite universe method to show that the
following symbolic arguments are invalid. [5 points each] ∀x (Ax →
Bx) ∴ ∃x (Ax • Bx) ∃x Cx ∴ ∀x Cx ∀z (Fz → ∼Gz), ∃z (Fz • ∼Hz) ∴ ∃z
(Gz • Hz) ∃y Ky → ∃y Ly ∴ ∀y (Ky → Ly) Please explain your answers
and use the finite universe method!
following symbolic arguments are invalid. [5 points each] ∀x (Ax →
Bx) ∴ ∃x (Ax • Bx) ∃x Cx ∴ ∀x Cx ∀z (Fz → ∼Gz), ∃z (Fz • ∼Hz) ∴ ∃z
(Gz • Hz) ∃y Ky → ∃y Ly ∴ ∀y (Ky → Ly) Please explain your answers
and use the finite universe method!