A tautology is a statement (or logical formula) that is always true for any instantiation of facts.
Tautology
Revision 1 as of 2003-09-12 00:40:11
Clear message
A tautology is a statement (or logical formula) that is always true for any instantiation of facts.