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 Read background for Homework 5
Week 11 Complex Predicates, Quantifier Form Video 13 Video 14
Week 12 Proofs in Predicate Logic Video 15 Video 16 Homework 5 due Mar 20
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
