For this year, in my role as an instructor for the Della Pietra High School Applied Math Program, I am teaching a course on logic, language and proof which is hands-on: we will be using the LPL software to explore interesting applications of logic in a computer-assisted setting. I will specifically be teaching formal logic rather an informal logic.
Day 1 – 11/2/2019
Introduction to propositional calculus: atomic sentences and their logic, and boolean connectives and their logic. In order to solidify the learning of these notions, we will be using Tarski’s World for a visual understanding.
Day 2 – 11/9/2019
More about logical connectives with a introduction to conditionals and logical equivalence, and more about truth tables. This time, we will be using the Boole software for a step-by-step appreciation of truth tables and their usefulness.
Day 3 – 11/16/2019
Introduction to formal proofs: methods of proofs for Boolean logic, formal proofs and boolean logic. This time, we will be using the Fitch software for a concrete understand for the Fitch proof system.