LÓGICA SIMBÓLICA

LÓGICA SIMBÓLICA

1. CALCULO

   • son signos lógicos y reglas para operar dichos signos.
   • SISTEMA PURO FORMAL
     • LENGUAJE ARTIFICIAL
       • LÓGICA PROPOSICIONAL
         • Esta conformada por enunciados y conectivos que expresan una afirmación o una negación. algunos conectivos son: Y, O, SI Y NO
         • TABLAS DE VERDAD
           • son un instrumento muy importante, para validar la argumentación de esta lógica. se puede graficar la disyunción inclusiva, disyunción exclusiva y la definicion condicional, bicondicional y la negación.
           • DEMOSTRACIÓN FORMAL
             • Cuando hacemos la demostración con máximo 4 variables se utiliza el método condicional asociado, y resulta muy afectivo, pero al usar más, se nos extiende demasiado; por lo que se utiliza el método formal de inferencias.
             • CUANTIFICACIONAL
               • Se le da este nombre nombre porque en los enunciados es muy importante el sujeto y el predicado, analizando su estructura.

2. ENUNCIADOS

   • Son expresiones con conectivos o sin ellos; clasificandose en enunciados atómicos o moleculares y se pueden traducir del lenguaje natural al lenguaje de la logica proposicional.
   • ENUNCIADOS SINGULARES
     • Son los que se refieren a un solo individuo ejemplo: Alejandro compró el carro.
     • ENUNCIADOS GENERALES
       • se clasifican en universales y particulares, refiriendose a los individuos de una clase, ejemplo: los Venezolanos son valientes ante las injusticia de sus gobernates. Algunos colombianos son de raza de negra.

Imágenes y archivos del mapa