Lógica matemática

Lógica matemática

1. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.

   • suele dividirse en cuatro subcampos
     • teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión.
       • se clasifican en
         • Conjuncion
           • La unión de dos proposiciones por "y" se llama conjunción de dos proposiciones. Su forma lógica se obtiene escribiendo únicamente la conectiva lógica y omitiendo las proposiciones simples
         • Disyuncion
           • Las proposiciones que están unidas por "o" se llaman disyunción de dos proposiciones.
         • Condicional
           • La conectiva condicional es "si. . . entonces. . .". La proposición que está entre "si" y "entonces" se llama antecedente, y la proposición que sigue a "entonces" se llama consecuente.
         • Bicondicional
           • Cuando las proposiciones están unidas por "si y solo si" se llama proposición bicondicional.
         • Negacion
           • La negación "no" es otro de los términos de enlace, y se le deno­mina así, porque en lógica actúa separada de la proposición. Las propo­siciones que llevan "no" se llaman proposiciones negativas.

Images and files in the map