tautology
is a proposition that is always true due to its logical structure
self-contradiction
is a proposition that is false by logical structure
two propositions are what if and only if they have identical truth values in a truth table.
logically equivalent