# Tautologies and Contradictions

Definition: A formula is said to be a Tautology if every truth assignment to its component statements results in the formula being true. A formula is said to be a Contradiction if every truth assignment to its component statements results in the formula being false. |

It is easy to tell whether a formula is a tautology, contradiction, or neither by first constructing the truth table for the formula and examining the far right column. If the far right column contains only true then the formula is a tautology. If the far right column contains only false then the formula is a contradiction. Otherwise, the formula is neither a tautology or a contradiction. Let’s look at a few examples

Let $P$ and $Q$ be statements and consider the formula:

(1)

We construct the truth table for this formula:

$P$ | $Q$ | $\neg P$ | $(P \wedge \neg P)$ | $(P \wedge \neg P) \rightarrow Q$ |
---|---|---|---|---|

T | T | F | F | T |

T | F | F | F | T |

F | T | T | F | T |

F | F | T | F | T |

We look at the far right column of the truth table and see all trues. Therefore $(P \wedge \neg P) \rightarrow Q$ is a tautology.

For an example of a contradiction, consider the formula $(P \vee \neg P) \rightarrow (Q \wedge \neg Q)$. It is easy to see that $P \vee \neg P$ is true for all truth assignments to $P$. Furthermore, it is easy to see that $Q \wedge \neg Q$ is false for all truth assignments to $Q$. Therefore it must be that this formula results in falsehood for all truth assignments to $P$ and $Q$. So $(P \vee \neg P )\rightarrow (Q \wedge \neg Q)$ is a contradiction.

### Related post:

- CSEC, CAPE results show students continue to struggle with Mathematics – Antigua Observer
- NTA JEE Main Application Process for January 2020 begins, students with mathematics eligible for B Planni – Times of India
- Latest Study explores the Mathematics Software Market Witness Highest Growth in near future| Maplesoft, MathWorks, Saltire Software, Gurobi Optimization – Indian Columnist
- New faces to look for in the halls – The Echo News
- PGCPS improves MCAP scores, introduces new principals – The Prince George’s Sentinel
- Novel maths could bring AI ‘to next level’ – Cosmos
- Bollinger ’20 Earns National Education Honor | Illinois Wesleyan – Illinois Wesleyan University
- Global Science, Technology, Engineering and Mathematics (STEM) Toys Market Overview 2019-2023: Segmented by Geography Trends and Opportunities growing with CAGR of 4.53%. – The Inherent News
- Revised Mathematics pattern only for Class 10 Board Exam, not for Class 9 examination: CBSE – Times Now
- Teen ACHIEVERS Pt 2 – Jamaica Observer