Hey guys! So, this time, we're going look at other methods we can use to construct proofs when just deriving from the premises isn't enough. Conditional Proof (CP) The setup: Basically, you use this method when the conclusion or a part of the conclusion you want is a conditional. This makes it so you assume... Continue Reading →

Pages: 1 2 3

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... Continue Reading →

Pages: 1 2 3

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... Continue Reading →

Pages: 1 2 3