SYMBOLIC LOGIC (SPRING 2026) - ACTIVITY SCHEDULE
All homework and exams should be sent as .pdf attachments to tbeatty@fgcu.edu
Date Topic / Videos to Watch / Homework to Do / Exams to Take
Week 1 Overview, Truth Functional Connectives, Symbolization Video 1 Video 2 Video 3 Video 4 Homework 1 solutions
Week 2 Validity Tests, Truth Table Applications Video 5 Video 6 Homework 2 solutions
Week 3 Exam #1 No media Exam 1 solutions
Week 4 Tautologies, Contradictions, Contingencies Video 7
Week 5 Rules of Inference, Rules of Replacement Video 8 Video 9 Homework 3 solutions / grad
Week 6 Conditional & Indirect Proof Video 9A Logic Circuit Symbols
Week 7 Singular Sentences Video 10 Homework 4 due Feb 25
Week 8 Exam #2 Video 11 Exam 2 - due Mar 2
Week 9 NO SCHOOL No media
Week 10 Quantification & Categorical Propositions Video 12
Week 11 Complex Predicates, Quantifier Form Video 13 Video 14
Week 12 Proofs in Predicate Logic Video 15 Video 16
Week 13 Quantifier Negation, Invalidity in Quant Logic Video 17
Week 14 Exam #3
Week 15 Relational Symbolization & Predicate Proofs
Week 16 Identity, Definite Description and Proofs
Finals Week Exam #4 - take-home FINAL due as pdf
