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 ...

Seguimos con lógica proposicional...

Anteriormente,  comenzamos  a explicar conceptos básicos del tema y analizar conectores lógicos a través de sus tablas de verdad. Entre esos conectores encontramos el condicional o implicación que denotamos de la forma:     p->q , donde p y q son proposiciones. Recordamos también que en  p->q  ,  p  recibe el nombre de "antecedente" y  q  de "consecuente". También se llama a  p  "hipótesis" y a  q  "tesis". Definida esta última, encontramos dos conceptos relacionados a ella: la recíproca y la contrarrecíproca. La  recíproca  de una implicación  p->q  se define como  q->p. Si comparamos la tabla de verdad de una implicación con su recíproca podemos ver que no es lo mismo decir  p->q  que decir  q->p  ya que no son expresiones  equivalentes , concepto que veremos más adelante. Mientras que la contrarrecíproca de una implicación  p->q  se d...