9653
ediciones
(Muevo sección nueva abajo) |
|||
== Operación nularia ==
[[Archivo:Diagrama de Venn 01.svg|160px|derecha]]
[[Archivo:Diagrama de Venn 05.svg|160px|derecha]]
[[Archivo:Diagrama de Venn 21.svg|160px|derecha]]
Siendo <math> \mathcal{P} </math> el conjunto de [[Proposición|proposiciones]], y <math> a, b, c, d, \dots </math> proposiciones de <math> \mathcal{P} </math>, se puede definir la [[operación nularia]]: tautología, por la que sin argumentos o independientemente de los argumentos, a una variable <math> a \, </math> de <math> \mathcal{P} </math> se le asigna el valor verdadero.
: <math>
\end{array}
</math>
Una tautología es equivalente al valor verdadero, independientemente de los argumentos de la expresión o función a la que se puede reducir, a la derecha se puede ver diagramas de Venn que representan el valor verdadero para: ninguna, una o dos variables. Esto es una función o relación de variables lógicas o booleanas es una tautología si es equivalente al valor verdadero para todos los posibles valores de sus variables.
== Véase también ==
|
ediciones