Logic 101 (#21): Applying Replacement Rules

http://gametheory101.com/courses/logic-101/ Previously, we have seen how to use replacement rules in isolation. This lecture uses a succession of replacement rules to turn a very ugly statement into a very clean and digestible one. In the process, we get a flavor of proofs, which will be the main topic two units from now.