Diferencia entre revisiones de «Tautología»
Contenido eliminado Contenido añadido
Sin resumen de edición Etiquetas: posibles pruebas Edición visual |
m Revertidos los cambios de 186.113.173.88 (disc.) a la última edición de Kegelschnitt Etiqueta: Reversión |
||
Línea 20:
== Tablas de verdad ==
{{AP|Tabla de verdad}}
En un sistema de lógica proposicional, una interpretación es una asignación de valores de verdad (verdadero o falso) a cada una de las fórmulas atómicas bajo consideración. Diferentes interpretaciones, por lo tanto, difieren solo en las asignaciones de valores de verdad que hacen. Una tautología es una fórmula bien formada que resulta verdadera bajo todas las interpretaciones posibles de sus fórmulas atómicos. Por lo tanto, para determinar si una fórmula
:<math>
|