La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida.
La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y del los estados reales a los que dicho contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».
- LOGICA SIMBÓLICA
El propósito de la lógica simbólica consiste en establecer un lenguaje simbólico artificial que se pueda utilizar para simplificar los argumentos lógicos complicados
- LENGUAJE NATURAL: lenguaje hablado o escrito por humanos para propósitos generales de comunicación.
- LENGUAJE FORMAL: lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.
- LOGICA PREPOSICIONAL
La lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad. Existen cuatro tipos de variables:
- Conjunción: se corresponde con la conjunción copulativa "y" del lenguaje natural.
- Disyunción: se corresponde con la conjunción disyuntiva "o" del lenguaje natural
- Condicional: en el lenguaje natural, significa esquemáticamente: "si..., entonces..."
- Bicondicional: representa proposiciones que se implican mutuamente. El esquema de este enunciado es "si y solo si"
En el video que viene a continuación se muestra otra forma de resolver los enunciados: LAS TABLAS DE VERDAD.
No hay comentarios:
Publicar un comentario