example of tautology


An example of a tautologyMathworldPlanetmath and how to test it is given in the truth tableMathworldPlanetmath below for the statement (PQ)(¬P¬Q)

P Q ¬P¬Q PQ (PQ)(¬P¬Q)
F F T F T
F T F T T
T F F T T
T T F T T

Thus for whatever truth values P and Q take on, the statement always comes out true as shown in the last coloumn of the truth table.

Title example of tautology
Canonical name ExampleOfTautology
Date of creation 2013-03-22 15:27:38
Last modified on 2013-03-22 15:27:38
Owner bloftin (6104)
Last modified by bloftin (6104)
Numerical id 4
Author bloftin (6104)
Entry type Example
Classification msc 03B05
Classification msc 03B10