67 lines
1.3 KiB
Markdown
67 lines
1.3 KiB
Markdown
---
|
|
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) |