Lógica y cálculo proposicional

Lógica y cálculo proposicional

1. Lógica significa razón

2. el objeto de estudio de la lógica son los distintos principios de demostración que permiten comprobar que la afirmación se considere valida

3. La lógica es aplicada en diversas áreas

   • Ingeniería
   • Administracion
   • Derecho

4. Proposiciones y operadores lógicos

   • Una proposición puede ser verdadera o falsa pero no ambas. Es uno de los elementos fundamentales de la lógica

5. Clasificación de las proposiciones

   • Proposiciones simples o atómicas: Están estructuradas por una única oración
   • Proposiciones compuestas o moleculares: Están estructuradas por dos o mas proposiciones simples unidas por operadores lógicos

6. Lenguajes

   • Natural
     • Lengua utilizada normalmente (lengua materna) en una comunidad de individuos para la comunicación entre ellos
   • Simbolico
     • lenguaje formal constituido por símbolos, permite examinar con mayor facilidad las formas del pensamiento y su leyes

7. Operadores lógicos: símbolos que permiten decidir que valor d verdad permite una proposición

   • Negación
   • Doble negación
   • Conjunción
   • Disyunción inclusiva
   • Disyunción exclusiva

8. Proposiciones condicionales

   • Condicional o implicación
   • Bicondicional o equivalencia

9. Tablas de verdad: Muestra el valor de verdad de una proposición compuesta

Bilder und Dateien der Mindmap