I see what I was doing here. The law of excluded middle is equivalent to the law of non-contradiction. Probably why I had the two confused. Example in sentential logic:
¬(p∧¬p) (law of non-contradiction)
¬p∨¬¬p | 1, de morgan’s
¬p∨p | 2, double negation
p∨¬p | 3, commutation (law of excluded middle)
I see what I was doing here. The law of excluded middle is equivalent to the law of non-contradiction. Probably why I had the two confused. Example in sentential logic:
¬(p∧¬p) (law of non-contradiction)
¬p∨¬¬p | 1, de morgan’s
¬p∨p | 2, double negation
p∨¬p | 3, commutation (law of excluded middle)