Symbolic Logic: 10 Replacement Rules

This is part two of our little intro to Symbolic Logic. We're going to expand our repertoire of rules we can employ in our proofs. These rules are all about putting logic statements into an alternative form. A lot of these rules will be familiar as they're used in mathematics. One of the differences between…

Symbolic Logic: 8 Basic Inference Rules

Hi y'all! So, if you're computer science majors/philosophy major/etc., you probably have to take this class in college. I love this stuff because it's very procedural and the proofs they give for you to solve are like puzzles and puzzles are super fun. Today, we're gonna look at the 8 basic rules and then we'll…