A tautology is a statement (or logical formula) that is always true for any instantiation of facts. (X or Not X) is a tautology.

Tautology (last edited 2003-09-12 00:40:50 by yakko)