Examples

Below, you will find examples of tauotologies (statements that are logically necessary), which you may plug in to the tableau generator. To test a tautology, you may enter it as a conclusion with no premises. Since a tautology is true independently of the state of the world, a tautological statement can be proven without any premises.