PROGRAMACIÓN LÓGICA

PROGRAMACIÓN LÓGICA

1. ÁLGEBRA DECLARATIVA

   • EXPRESIONES

2. INDUCCIÓN MATEMÁTICA

   • RAZONMIENTO
   • PROPOSICIONES

3. LÓGICA PROPOSICIONAL

4. LÓGICA

   • RELACIÓN
   • PREMISAS

5. PROPOSICIÓN

   • COMPUESTO
   • SIMPLE

6. FORMULACIÓN

   • TÉRMINO DISTINTO

7. FORMALIZACIÓN DE LA CONJUCIÓN

Images and files in the map