[ Home | Comment | Next | Previous | Up ]
From: Date: 23 Sep 2010Time: 12:06:25 -0500
In logic, a tautology (from the Greek word ταυτολογία) is a formula which is true in every possible interpretation.