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 solutions
Week 8 Exam #2 Video 11 Exam 2 solutions
Week 9 NO SCHOOL No media Exam 2 grad problem solution
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 solutions
Week 13 Quantifier Negation, Invalidity in Quant Logic Video 17 Video 18 Homework 6 solutions
Week 14 Exam #3 Video 19 Video 20
Week 15 Relational Symbolization & Predicate Proofs Video 21 Homework 7/8 due Apr 27
Week 16 Identity, Definite Description and Proofs Lecture 22
Finals Week Exam #4 - take-home FINAL here due as pdf by May 1 If you have an average of 90 or more you are excused from the final
