---
title: Tautologies
localeTitle: Tautologias
---
## Tautologias

### Definição

Na lógica, uma tautologia é uma afirmação verdadeira em todos os casos possíveis. O oposto de uma tautologia é uma contradição, uma afirmação falsa em todos os casos possíveis.

### Exemplo

p

q

p OR q

p → p OU q

T

T

T

T

T

F

T

T

F

T

T

T

F

F

F

T

Como podemos ver na tabela verdade, a afirmação "p → p OR q" é sempre verdadeira (veja a última coluna).

Um exemplo em termos de lógica booleana é `B || !B` É sempre verdade que B é verdadeiro ou B não é verdadeiro.

O oposto de uma tautologia é uma contradição, uma fórmula que é "sempre falsa". Em outras palavras, uma contradição é falsa para cada atribuição de valores de verdade aos seus componentes simples.

Um exemplo de uma contradição com a lógica booleana é `B && !B` É impossível que B seja verdadeiro e falso ao mesmo tempo.

#### Nota

A seta significa simplesmente "implica". p implica p OR q, também pode significar _se… então…_

#### Mais Informações:

[Tautologia da Wikipédia (lógica)](https://en.wikipedia.org/wiki/Tautology_(logic)) [Tabelas da Verdade do Youtube](https://www.youtube.com/watch?v=O0KbymjE7xU) [Símbolos da Lógica da Wikipédia](https://en.wikipedia.org/wiki/List_of_logic_symbols)