Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2003-09-12 00:40:11 →
Size: 101
Editor: yakko
Comment:
← Revision 2 as of 2003-09-12 00:40:50 → ⇥
Size: 130
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
A tautology is a statement (or logical formula) that is always true for any instantiation of facts. A tautology is a statement (or logical formula) that is always true for any instantiation of facts. (X or Not X) is a tautology.

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)