Symbolic Logic II: Rules of Inference (part a)

Together let's study propositional logic and work through some exercises!

Modus ponens, modus tollens, and double negation will be covered in this video. We’ll look at the proof making process.

This video is dedicated to studying the 1964 textbook "First Course in Mathematical Logic" by Patrick Suppes and Shirley Hill.

We are now in chapter two: "Logical Inference"

It’s the easiest, simplest introduction to symbolic logic that I know of. It’s not only a mathematical textbook, it overlaps into the liberal arts with a strong focus on translating English propositions into the language of symbolic logic.

As an Amazon Associate I earn some money from qualifying purchases.

[chet]

When the book says a statement is a premise, is that the same as saying it's a proposition?