P111 Valid Reasoning
Professor: Craig DeLancey
Office: Swetman 217
Email: delancey@oswego.edu
Current Assignments
I do not accept homeworks by email!
5 December: these three arguments are invalid. Show this by creating a simple intuitive model. It's easiest to assume our domain of discourse (what our quantifiers range over or talk about) is natural (whole positive) numbers. Describe a meaning for the predicates and any names that shows the argument is invalid. You will probably find it easier to make a different informal model for each of the three problems.
- Premises: /\x(Fx v Gx), \/xFx.
Conclusion: \/xGx
[Hint: the first premise is true if everything is F and nothing is G.]- Premises: (\/xFx ^ \/xGx).
Conclusion: \/x(Fx ^ Gx)- Premises: /\x(Fx --> Gx), \/xFx.
Conclusion: /\xGx.
Tentative/expected Assignments (subject to revision)
December 17: final exam, 10:30 a.m. -- 12:30 p.m. in class.