jueves, 18 de enero de 2024

Algunos ejemplos de lógica formal


     Por si alguno o alguna no comprenden todavía muy bien en qué consiste el "método de resolución lógica" llamado “tablas de verdad”, os adjunto una serie de tutoriales para que podáis practicar un poco más. El primero de ellos explica de forma muy clara qué es una "tabla de verdad", mientras que en los dos siguientes son una interesante aportación el profesor de matemáticas colombiano Julio Rios Cali, que nos enseña paso a paso y de forma amena y sencilla como "construir tablas de verdad" con las cuatro "conectivas" básicas: "conjunción", "disyunción", "condicional" y "bicondicional" (podéis consultar su blog simplemente tecleando en este enlace). Y para muestra un ejemplo:

Tautología            Contradicción            Contingencia

     Y para divertirnos un poco, aquí tenéis un vídeo muy interesante en el que se os enseña a “calcular una multiplicación” por medio de un método completamente diferente al habitual, aunque seguramente mucho más divertido. Podéis practicarlo vosotros mismos, para comprobar como las "ciencias exactas" funcionan de forma perfecta a la hora de establecer “cálculos deductivos válidos”, independientemente de la metodología empleada, puesto que los distintos "métodos" utilizados para el "cálculo" (en este caso la multiplicación) son “isomorfos”, responden a las mismas pautas epistemológicas, algo que veremos al comparar las "tablas de verdad" con las "deducciones naturales".

No hay comentarios:

Publicar un comentario