Lógica de predicados.

Traduzca las siguientes proposiciones expresadas en lógica de predicados al idioma español.

Consistencia y completitud

Defina con sus propias palabras que es consistencia y completitud en la lógica de proposiciones.

ESQUEMA MOLECULAR DE CIRCUITOS LÓGICOS

           A continuacion se muestra una lista de ejercicios que les servira de  práctica para el examen de la próxima semana y con respecto a la actividad del block que deben realizar, pueden escoger cualquiera de los ejercicios propuestos y enviar el resultado de dos de ellos a mi correo.

De las siguientes fórmulas proposicionales determine el circuito eléctrico.

De los siguientes diagramas eléctricos determine la fórmula proposicional correspondiente.

Árbol Semántico

Árbol Semántico:

Realiza las siguientes actividades:

• Explique la diferencia entre un árbol semántico y un árbol binario.

• Representa la siguiente fórmula lógica proposicional empleando las reglas de un árbol semántico, y diga si la función es una FBF.

Solución:

Válidez de un razonamiento.

Unidad I: Válidez de un razonamiento.

Ejercicio: 

Demostrar si el siguiente razonamiento es válido o no, empleando la tabla de la verdad.

 

Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al fútbol; no juega al fútbol. Por tanto, Eduardo juega al baloncesto.

Nota: 

Este ejercicio se resuelve como el que estudiamos en clase, se deben determinar las premisas y las conclusiones, luego asignar variables, establecer la formula lógica empleando los conectores necesarios, seguidamente establecer la formula final, y por último elaborar la tabla de la verdad y comprobar si es o no un razonamiento válido.

Si en la tabla de la verdad la conclusión en todas sus filas posee un verdadero, se dice que es una tautologia y por consiguiente es válido, si por el contrario son todas falsas quiere decir que hay una contradición, si existen unas verdaderas y otras falsas se dice que hay una inconsistencia.

Falacias

Unidad I: Introducción a la lógica matemática.

Falacia: es un razonamiento incorrecto pero persuasivo, engañoso, es decir, cuya incorrección puede resultarle a alguien difícil de percibir.

       El que un argumento sea falaz no implica que sus premisas o su conclusión sean falsas ni que sean verdaderas. Un argumento puede tener premisas y conclusión verdaderas y aun así ser falaz. Lo que hace falaz a un argumento es la invalidez del argumento en sí. De hecho, inferir que una proposición es falsa porque el argumento que la contiene por conclusión es falaz es en sí una falacia conocida como argumento ad logicam.

Ejemplos:

Pedro está enamorado.

A Pedro le gusta Susana.

Por lo tanto, Pedro está enamorado de Carla.

Julio fue al Psiquiatra.

A Julio le duele mucho la cabeza.

Por lo tanto, Julio está loco.

        La principal clasificación de las falacias lógicas es: falacias formales y falacias no formales.

      En las falacias formales, el error constructivo de la falacia se produce por la aparente semejanza de forma entre la falacia y un razonamiento válido.  

       En las falacias no formales, lo que lleva el error no es el parecida formal con razonamientos válidos, sino otras circunstancias de muy variado tipo, tales como la inferencia de funciones expresiva o directiva del lenguaje, la falta de atención  a la índole exacta del vínculo entre premisas y conclusión, la ambigüedad de las expresiones, etc.

Actividad:

      Estudia los diferentes tipos de falacia.      

      Nombra un tipo de falacia ya sea formal o no formal, da un ejemplo y explícalo con tus propias palabras.

Inicio

Bienvenida al blog

      Te doy la más cordial bienvenida a mi blog, un medio donde podrás encontrar información relacionada con el mundo de la lógica matemática; donde aprenderemos que la lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica» y que incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente. Al mismo tiempo me dará la oportunidad de conocer tus ideas e inquietudes.

         Vivimos en un mundo lleno de contradicciones y desacuerdos. Pienso que es bueno que haya puntos de vista distintos y hasta divergentes, y que, aun en la diversidad, cada persona ponga empeño en entender al otro y en lograr la mayor armonía posible. Al escucharnos los unos a los otros, abrimos la posibilidad al mutuo conocimiento y a la comprensión. 

        Gracias por tu visita, tu persona es siempre bienvenida.

Atte.

Mayra Peña.