Ir al contenido principal

Lógica proposicional: Razonamientos y demostraciones...

En este post, daremos un breve resumen acerca del razonamiento lógico y conceptos para determinar si un razonamiento es válido o constituye una falacia.

Razonamiento: Un razonamiento en sí, es una secuencia de enunciados ligados de tal manera que la conclusión deriva de lo que llamamos premisas.

El razonamiento que establece la veracidad de la conclusión en base a las premisas recibe el nombre de demostración.

Demostración: Para demostrar la validez de un razonamiento, debemos evaluar las premisas y la conclusión. Si las primeras son verdaderas y de ellas se desprende una conclusión que también lo es, el razonamiento es válido. En caso de obtener una conclusión falsa, entonces estaremos frente a un razonamiento inválido.



*NOTA: Recordamos que la lógica proposicional, sólo se encarga de la validez formal y abstracta de los enunciados, no del contenido. Por lo que podemos encontrarnos con razonamientos totalmente falsos, pero válidos lógicamente por estar bien construidos.
  


En esta entrada, determinaremos la validez de un razonamiento a través de una demostración, basándonos directamente en la definición usando tablas de verdad.

EJEMPLOS:


Comenzamos con nuestra propia adaptación de la famosa frase de Descartes: "pienso, luego existo":

La frase sería: "Si pienso, existo. Es así que pienso, luego existo."

Traducido a proposiciones, tendríamos:











Si armamos la tabla de verdad y analizamos los casos en que ambas premisas son verdaderas, vemos que el razonamiento es válido ya que la conclusión también es verdadera en ese caso.






Y nuestro segundo y último ejemplo es: "Si no entiendo algoritmos entonces no puedo programar. Entiendo algoritmos, luego puedo programar."

Traducido a proposiciones, tendríamos:









Si armamos la tabla de verdad, ahora vemos que el razonamiento no es válido (es una falacia) ya que no obtenemos una conclusión verdadera en todos casos en que ambas premisas lo son.

Comentarios

Entradas populares de este blog

C: Conversiones de tipo (casting) en C...

El casting o simplemente cast  nos permite hacer una conversión explícita de un tipo de dato a otro, a criterio del programador siempre y cuando estos tipos sean compatibles. Este cast se realiza a través de un operador de conversión de tipos (type casting operator) y es un recurso a tener en cuenta ya que hay situaciones en que nos puede resultar de gran utilidad. Hacer uso de un cast es tan sencillo como poner (tipo de dato)  delante de la expresión o variable a convertir. Veamos un ejemplo: Declaramos una variable de tipo int con un identificador tan creativo como "a" y le realizamos diferentes cast a a para mostrarlo como si fuera un float, un double y un char en un printf. Lo que obtendríamos en pantalla sería lo siguiente: Donde tenemos el valor de nuestro a, a convertido en float y double (mostrándolo con 3 cifras decimales) y a convertido en char. Si vemos este último caso, al hacer la conversión de "a" a char toma a como el código ascii de

C: Ejemplos: Congruencia de Zeller (nivel básico) ...

La Congruencia de Zeller es un algoritmo que se atribuye al matemático alemán Julius Christian Johannes Zeller que vivió en el siglo XIX. Este algoritmo nos permite determinar el día de la semana que le corresponde a una fecha determinada del calendario Gregoriano. La fórmula que nosotros usaremos (con algunas modificaciones respecto de la original para poder usarla en  informática) es la siguiente: Donde h es el día de la semana (entre 0 y 6), J es año/100 (la centuria) y K es año mod 100 (el año de la centuria). Y hay que tener en cuenta que los meses de enero y febrero cuentan como el mes 13 y 14 del año anterior. Ahora que tenemos la fórmula, programemos el algoritmo en C mediante el uso de una función: Analicemos el código paso a paso: Tenemos en cuenta el caso de enero y febrero: Dijimos que estos meses corresponden a los meses 13 y 14 del año anterior por lo que los asignamos como corresponde (mes + 12 , que dará 13 para enero y 14 para febrero) y le rest

Algoritmos: Resolución de problemas y refinamientos en pseudocódigo...

En otras entradas, vimos las partes que debe tener nuestro algoritmo en pseudocódigo y las estructuras que utilizaremos para resolverlo. Ahora llega el turno de implementar todo en conjunto para dar origen a nuestra creación. Pero ¿cómo resolvemos un problema así? Para hacerlo, utilizaremos lo que llamamos refinamientos sucesivos. Este concepto consiste en dividir el problema en subproblemas más pequeños y a estos, a su vez, en otros más pequeños; y así sucesivamente hasta que la solución de los últimos sea trivial, sencillo de resolver. Luego usaremos todas las soluciones obtenidas para armar la solución de nuestro problema mayor. Este principio, tiene base en parte de la técnica divide and conquer (dependiendo de la traducción: "divide y vencerás") que es una de las muchas técnicas de resolución de algoritmos existentes. Como vemos, al dividir el problema en otros más pequeños y más fáciles de resolver, podemos pasar de un problema complicado a uno cuya solución es much