info prev up next book cdrom email home

Tautology

A logical statement in which the conclusion is equivalent to the premise. If $p$ is a tautology, it is written $\models p$.




© 1996-9 Eric W. Weisstein
1999-05-26