'Language, Proof Language': Ch 3: Notation and Translation Focus

This video includes some of the material from "Chapter 3 Basics", along with a more concentrated focus on translating from ordinary language into propositional logic notation using atomic or simple sentences, and the Boolean connectives.

[stanvanderbend]

Thank you, having this kind of content freely available is what makes youtube great.