1. Explain why the following are theorems of predicate logic:
2. Explain why the following propositions are theorems of predicate logic, assuming that x does not appear as a free variable in the expression ϕ (and assuming that S is nonempty):
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here