A tautology is a statement that is always true (no matter the truth values of the inputs)
A contradiction is a statement that is always false (no matter the truth values of the inputs). Is the following statement a tautology, contradiction, neither or both?
~P ⇒ P
Neither
Both
Contradiction
Tautology