A tautology's truth is certain, a proposition's possible, a contradiction's impossible.
Ludwig Wittgenstein (2016). “Tractatus Logico Philosophicus”, p.15, Clube de Autores

A tautology's truth is certain, a proposition's possible, a contradiction's impossible.