Diferencia entre revisiones de «Tautología»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 186.104.121.96 a la última edición de MONIMINO |
|||
Línea 15:
La [[validez lógica]] consiste precisamente en que no puede darse el caso de que ''siendo verdad el antecedente, no lo sea el consecuente''.
Dicho en otras palabras la [[tabla de verdad]] del [[esquema de inferencia]] que enlaza el antecedente y el consecuente da siempre el valor de verdad V, y en todos los casos posibles de los valores de verdad de las proposiciones que la integran. Es una '''tautología'''
Sea el esquema de inferencia <math>[(p \to q) \land (q \to r)] \to (p \to r)</math> cuya tabla de verdad muestra ser una tautología. Un esquema que podría modelilzarse como: “Si llueve el suelo está mojado y si el suelo está mojado entonces las ruedas de los coches patinan. Por lo tanto si llueve las ruedas de los coches patinan”. Un argumento fácil de comprender.
|