Diferencia entre revisiones de «Tautología»

979 bytes añadidos ,  hace 10 meses
Retiro la plantilla de fusión. Creo que son artículos bastante amplios como para mantenerlos separados. Dejo un extracto manual y un enlace al AP de la regla de inferencia.
(Editar la tabla de verdad. F y F es igual a F.)
Etiquetas: Edición desde móvil Edición vía web móvil
(Retiro la plantilla de fusión. Creo que son artículos bastante amplios como para mantenerlos separados. Dejo un extracto manual y un enlace al AP de la regla de inferencia.)
{{Fusionar|t=20160922203625|Tautología (regla de inferencia)}}
{{Ficha de conectiva lógica
|diagrama-de-venn = Diagrama de Venn 21.svg
 
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.
 
== Regla de reemplazo ==
{{Fusionar|t=20160922203625AP|Tautología (regla de inferencia)}}
En [[lógica proposicional]], la '''[[tautología]]''' es también una [[reglas de reemplazo|regla de reemplazo]] comúnmente utilizada<ref>{{cita libro |título=A Concise Introduction to Logic |edición=4ta |apellidos=Hurley |nombre=Patrick |enlaceautor= |coautores= |año=1991 |editorial=Wadsworth Publishing |ubicación= |isbn= |página= |páginas=364–5 |url=https://archive.org/details/conciseintroduct00hurl_0|url-access=registration |fechaacceso=}}</ref> para eliminar la redundancia en disyunciones y conjunciones en las demostraciones lógicas. La tautología se materializa en dos principios:
 
El principio de '''idempotencia de la disyunción'''
 
: <math>P \lor P \Leftrightarrow P</math>
 
y el principio de '''idempotencia de la conjunción'''
: <math>P \land P \Leftrightarrow P</math>
donde "<math>\leftrightarrow</math>" es un [[símbolo (lógica)|símbolo]] [[metalógica|metalógico]] que representa "puede ser reemplazado en una demostración lógica por".
 
== Véase también ==
2013

ediciones