MODR 2640 Study Guide - Final Guide: Logical Truth
Document Summary
Classify in terms of symmetry, transitivity, and reflexivity. (like 13-4) 10-1: note that capitals stand for relations and lower case letters stand for individuals or functions and order matters. 10-2: add quantifiers-- everything is better than a, something is better than a. Order of quantifiers is important when 2 different kinds of quantifiers are involved. If in doubt, go to first step of expansion. Take off quantifiers starting at the outside and work your way in. If sally has been everywhere: (x)(px bsx) or (x)(px ( y)ty bsxy) 10-5: expressions like "sometimes", "someone", "somewhere" can be difficult. May need an existential quantifier, but some require a universal. Need a universal and scope of quantifier must be whole sentence. Eg: if a student insults the professor, then the student will fail. If a student insults the professor, then the professor will be furious (this one can use an existential). 10-6: expansions and invalidity (nothing new from chapter 9.