Diferencia entre revisiones de «Tautología»

Contenido eliminado Contenido añadido
Camilo (discusión · contribs.)
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'''. Para ejemplificar de mejor manera, imaginemos el aparato psiquico del psicoanalisis. Este "aparato" no comprovado cientificamente explica un sin fin de funciones psiquicas segun sus terminos, los que por su comunidad son aceptados como una hecho real. Esto es una tautologia ya que de un contexto o hecho "irreal" aceptado como verdad se asumen sus concecuentes relacionados como realidades ineherentes a el y generalizadas segun sus propios margenes explicativos ya aceptados como verdades.
 
 
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.