Created by Jesse Rappaport
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.
PROPOSITIONAL LOGIC |
---|
CCCpqpp |
CKAppCpqq |
CCpqCNqNp |
CMKpqKMpMq |
BLApqALpLq |
KCMpMMpCMMpMp (S5-valid) |
BCpCqrCKpqr |
KCKApqNpqBCpCqrCKpqr |
FIRST-ORDER LOGIC |
---|
CVxFxFa |
CFaExFx |
VxAFxNFx |
CExKFxGxKExFxEyGy |
CKVxCFxGxFaGa |
CExVyHyxVyExHyx |
CMVxFxMExFx |
CNExFxVxNFx |