LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL

1. Lógica

   • Metodología
     • Examinar la validez o invalidez de una afirmación
   • Considerada una ciencia formal
     • Su objeto estudio los principios de demostración

2. Proposiciones

   • Oración que tiene un valor de verdad
     • Verdadero o Falso
   • Clasificación
     • Simples o atómicas
       • Única Oración
     • Compuestas o moleculares
       • Unidas por operadores lógicos
         • Doble negación
         • Disyunción inclusiva
         • Negación
         • Conjunción
         • Disyunción exclusiva
   • Traducción del Lenguaje
     • Natural al simbólico
     • Simbólico al natural

3. Proposiciones Condicionales

   • Condicional o Implicación
   • Bicondicional o equivalencia

4. Tablas de verdad

   • Demuestran el valor de verdad en
     • Proposiciones Compuestas
     • En algunos casos en proposiciones Simples

5. Sus Razonamientos son Argumentos

   • Denominados Conclusiones
   • LLamados Premisas