2013
ediciones
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 ==
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 ==
| |||