https://en.wikipedia.org/wiki/Tautology_(logic)
https://en.wikipedia.org/wiki/Contradiction
Is the teaching of propositional logic common in the US?