Descripción
Devuelve verdadero si una expresión booleana es una tautología para todas las combinaciones de las premisas.
La tabla de verdad de una tautología tiene la forma (para tres premisas):
| p | q | r | tautología |
|---|---|---|---|
| falso | falso | falso | verdadero |
| falso | falso | verdadero | verdadero |
| falso | verdadero | falso | verdadero |
| falso | verdadero | verdadero | verdadero |
| verdadero | falso | falso | verdadero |
| verdadero | falso | verdadero | verdadero |
| verdadero | verdadero | falso | verdadero |
| verdadero | verdadero | verdadero | verdadero |
Cadena de entrada
tauto
Cadena de salida
tauto
Uso
tauto(<condición>[,<premisa>]+)
| Parámetros | |||
|---|---|---|---|
| # | Parámetro | Descripción | Valor por defecto |
| 1 | condición | Expresión booleana dependiente de las premisas | |
| 2+ | premisa | Nombre de variable | |
Ejemplos
tauto(p||!p,p)
Booleano: verdadero
tauto(p&&q->p,p,q)
Booleano: verdadero
si una expresión es una contradicción, su negación será una tautología:
tauto(!(p&&!p),p)
Booleano: verdadero (por tanto, p&&!p es una contradicción)
Véase también…