67 lines
1.3 KiB
Markdown
67 lines
1.3 KiB
Markdown
|
---
|
||
|
|
title: Tautologies
|
||
|
|
localeTitle: Tautologías
|
||
|
|
---
|
||
|
|
## Tautologías
|
||
|
|
|
||
|
|
### Definición
|
||
|
|
|
||
|
|
En lógica, una tautología es una afirmación que es cierta en todos los casos posibles. Lo contrario de una tautología es una contradicción, una afirmación que es falsa en todos los casos posibles.
|
||
|
|
|
||
|
|
### Ejemplo
|
||
|
|
|
||
|
|
pag
|
||
|
|
|
||
|
|
q
|
||
|
|
|
||
|
|
p o q
|
||
|
|
|
||
|
|
p → p OR q
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
F
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
F
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
F
|
||
|
|
|
||
|
|
F
|
||
|
|
|
||
|
|
F
|
||
|
|
|
||
|
|
T
|
||
|
|
|
||
|
|
Como podemos ver en la tabla de verdad, la declaración "p → p OR q" siempre es verdadera (vea la última columna).
|
||
|
|
|
||
|
|
Un ejemplo en términos de lógica booleana es `B || !B` Siempre es cierto que B es verdad o B no es verdad.
|
||
|
|
|
||
|
|
Lo opuesto a una tautología es una contradicción, una fórmula que es "siempre falsa". En otras palabras, una contradicción es falsa para cada asignación de valores de verdad a sus componentes simples.
|
||
|
|
|
||
|
|
Un ejemplo de una contradicción con la lógica booleana es `B && !B` Es imposible que B sea verdadero y falso al mismo tiempo.
|
||
|
|
|
||
|
|
#### Nota
|
||
|
|
|
||
|
|
La flecha simplemente significa "implica". p implica p OR q, también puede significar _si ... entonces ..._
|
||
|
|
|
||
|
|
#### Más información:
|
||
|
|
|
||
|
|
[Wikipedia Tautología (Lógica)](https://en.wikipedia.org/wiki/Tautology_(logic)) [Tablas de verdad de YouTube](https://www.youtube.com/watch?v=O0KbymjE7xU) [Símbolos logicos de Wikipedia](https://en.wikipedia.org/wiki/List_of_logic_symbols)
|