Logic 101 (#23): Commutativity

Logic 101

Fun facts: P ^ Q is equivalent to Q ^ P, P v Q is equivalent to Q v P, and P [biconditional arrow] Q is equivalent to Q [biconditional arrow] P. These are known as the commutativity replacement rules. You might already be familiar with their mathematical cousins, like 1 + 2 = 2 + 1. Same deal here.

(YouTube doesn’t allow greater than/less than signs in video descriptions, hence the [biconditional arrow] above.)