Making It Work
A Lesson in Logic So now you’ve learned all of the rules of inference, all of the substitution rules, and the rules concerning assumptions. You know what an argument is, what a proposition is, and how to do a proof.… Continue Reading
A Lesson in Logic So now you’ve learned all of the rules of inference, all of the substitution rules, and the rules concerning assumptions. You know what an argument is, what a proposition is, and how to do a proof.… Continue Reading
A Lesson in Logic Last week I covered using assumptions to discover conditionals in what’s called a Conditional Proof. This week we’ll be using assumptions in a different way, to generate contradictions. This is also the very last rule. In… Continue Reading
A Lesson in Logic This week I’m going to look at how to make assumptions in proofs. There are two ways to use assumptions, called a conditional proof and an indirect proof. Today I’ll look at the first, and show… Continue Reading
We’ve finished all of the rules but the two proof applications, so I thought I would do a quick rundown of how each rule works. No guest arguments today, this is going to be a lightning round of symbols and… Continue Reading
A Lesson in Logic Here we are, our final substitution rule, and the only one named after a person, rather than a function. Named after Augustus DeMorgan, this rule, which is actually two rolled into one, and can look a… Continue Reading