Lógica de Programación

Lógica de Programación

1. Lógica de conjuntos

   • Proposición
     • Expresión matemática que es verdadera o es falsa.
   • Conexiones lógicas
     • Proposiciones compuestas
   • Tablas de verdad
     • Conjunción
     • Disyunción
     • Condicional
     • Bicondicional
   • Tipos de proposición
     • Tautología
     • Contradicción
     • Contingencia
   • Reglas de inferencia
     • Modus Ponens
     • Doble Negación
     • Tollendo Tollens
     • Adjunción
     • Simplificación

2. Teoría de conjuntos

Bilder und Dateien der Mindmap