Logotipo Descartes

LÓGICA DE ENUNCIADOS

7. LOS RAZONAMIENTOS
Los razonamientos son la forma en la que se expresan nuestros pensamientos. En general están formados por la combinación, mediante conectivas, de proposiciones simples. Constan de  varias premisas y una conclusión. Tanto las premisas como la conclusión pueden tener enunciados simples o compuestos.
Esta unidad interactiva requiere la máquina virtual de Java J2RE. Esta unidad interactiva requiere la máquina virtual de Java J2RE.
Esta unidad interactiva requiere la máquina virtual de Java J2RE.
En estas escena puedes ver formalizados tres razonamientos.

Usa los pulsadores de razonamientos para ver las partes del juicio.
13.- Escribe en tu cuaderno  tres razonamientos.


   La tarea de la lógica es la del análisis formal de las inferencias o razonamientos. Una manera de hacer este análisis es  formando una implicación entre las premisas y la conclusión: [Premisa1 ٨ Premisa2 ٨ Premisa3...] Conclusión. Las premisas se unen entre sí con la conectiva de la conjunción, y todas las premisas juntas se ponen entre paréntesis o corchetes para expresar esta unidad. Y a su vez esta unidad se considera como el antecendente de un condicional, en el que el consecuente es la conlusión.

   Después calculamos con las tablas de verdad y  podemos ver si el razonamiento  es una tautología, una contradicción o una indeterminación. Solo cuando el resultado es una tautología, decimos que el argumento es formalmente válido.

 
Cuando usamos el bicondicional en un razonamiento, hacemos una equivalencia que también es válido cuando es una tautología.

  Pero que un argumento sea formalmente válido no significa que sus premisas sean verdaderas. En el siguiente ejemplo vemos que la inferencia es formalmente válida pero no sabemos si las premisas son verdaderas o falsas, pues no sabemos si existen o no los extraterrestres. La verdad de las premisas es objeto de otras ciencias diferentes a la lógica.


  Esta unidad interactiva requiere la máquina virtual de Java J2RE.
En esta escena puedes ver el cálculo hecho con las tablas de verdad al primer   argumento de la escena anteriior. El resultado son todos valores verdaderos,1, es pues una tautología. Por lo tanto es un razonamiento formalmente válido.
Para hacer el cálculo se opera de derecha a izquieda, primero se hace el interior de los paréntesis y después el de los corchetes. Finalmente el condicional entre las premisas y la conclusión. 

14.- Pon en tu cuaderno la validez  a través de las tablas de verdad de los tres razonamientos que te has inventado anteriormente .
  y di si son una tautología, una contradicicón o una indeterminación.

15.-
Por último, reflexina por escrito en tu bloc de nttas sobre como  la lógica  analiza  la validad de los razonamientos .
                                                                                                                                                   
              boton_arriba    atrás         


 
Manuel Valero Domenech
Logotipo Descartes
 
Ministerio de Educación, Cultura y Deporte. Año 2012
 
 

Licencia de Creative Commons
Los contenidos de esta unidad didáctica están bajo una licencia de Creative Commons si no se indica lo contrario.