This preview shows page 1. Sign up to view the full content.
Unformatted text preview: (p. 94-95, 266-272) know how to determine if a sentence is Tarskis World possible, truth table possible, logically possible, or logically impossible (p. 94-95, 101-103) know how to determine relationships of consequence and equivalence in FOL (p. 106-116, 266-279) know how to translate from FOL to English and vice versa know how to complete Fitch-style proofs (you will have a rule sheet for your use) know how to recognize, construct, and use Tarski-style worlds understand notions of validity and soundness (p. 41-44) STUDY OLD QUIZZES!...
View Full Document
- Fall '06