1.3 KiB
title | localeTitle |
---|---|
Tautologies | 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) Tabelas da Verdade do Youtube Símbolos da Lógica da Wikipédia