Hoy seguimos analizando y resolviendo problemas de lógica y presentamos el lenguaje de la lógica proposicional.

Al reflexionar sobre la solución al primer problema de lógica de la clase anterior, llegamos a los siguientes descubrimiento dignos de mención:

* NO ES NECESARIO PARTIR DE PREMISAS VERDADERAS PARA QUE UN RAZONAMIENTO SEA VÁLIDO.

** TAMPOCO ES NECESARIO QUE LA CONCLUSIÓN SEA VERDADERA PARA QUE UN RAZONAMIENTO SEA VÁLIDO.

*** LO ÚNICO QUE SE REQUIERE PARA QUE UN RAZONAMIENTO SEA VÁLIDO ES QUE LA CONCLUSIÓN DEL MISMO SE DESPRENDA DE SUS PREMISAS (SE SIGA DE ELLAS, SEA CONSECUENCIA LÓGICA DE ELLAS), CON INDEPENDENCIA DE SI SON VERDADERAS O FALSAS.

**** LO ÚNICO QUE IMPLICA EL HECHO DE QUE UN RAZONAMIENTO SEA VÁLIDO ES QUE SI SUS PREMISAS SON (TODAS) VERDADERAS, ENTONCES SU CONCLUSIÓN DEBE SERLO NECESARIAMENTE TAMBIÉN.  ESTO NO ES LO MISMO QUE DECIR QUE LAS PREMISAS SON VERDADERAS Y LA CONCLUSIÓN TAMBIÉN.

***** LOS RAZONAMIENTOS VÁLIDOS PODRÍAN TENER PREMISAS FALSAS Y CONCLUSIÓN FALSA, PREMISAS FALSAS Y CONCLUSIÓN VERDADERA, PREMISAS VERDADERAS Y CONCLUSIÓN (POR TANTO) VERDADERA; PERO NO PUEDEN TENER PREMISAS VERDADERAS Y CONCLUSIÓN FALSA.

Presentamos luego el lenguaje lógico básico: letras proposicionales y conectivos (conjunción, disyunción, condicional, negación)

Quedaron para la clase que viene la solución escrita CLARA Y RIGUROSA de todos los problemas de lógica que dejamos hasta la fecha. Y leer con detenimiento el texto de Romero y Valente hasta la sección titulada "El método de la deducción natural" (p. 51) exclusive.
 ´

Palabras del día:

elucidar
bosquejo

¿qué significan?