A Tautology:
Is a Propositional form whose truth value is true for all possible values of its propositional variables.
P v not P
For this compound expression to be false, both P or not P must be false. But this is impossible, because when P is true, not P will false and visa versa.
P = The Car is Red
P v not P = The Car is Red or The Car is Not Red.
If you draw up a truth table where a column has all True Values in one column, then you have a tautology for the compound expression of that column.
Consider (P ^ Q) => P
Notice not only the column of the compound expression is all true, but also one entire row.
A Contradiction or Absurdity
Is a Propositional form which is always false.
P ^ not P
For this compound expression to be true, both P and not P must be true. But this is impossible, because when P is true, not P will false and visa versa.
P = The Car drives.
P ^ not P = The Car Drives and The Car does not drive.
If you draw up a truth table where a column has all False Values in one column, then you have a contradiction for the compound expression of that column.
A Contingency
is a Propositional form which is neither a Contradiction or a Tautology.