LÓGICA SIMBÓLICA

Annotations:

• son signos lógicos y reglas para operar dichos signos.

1. SISTEMA PURO FORMAL
   1. LENGUAJE ARTIFICIAL
      1. LÓGICA PROPOSICIONAL

         Annotations:

         • Esta conformada por enunciados y conectivos que expresan una afirmación o una negación. algunos conectivos son: Y, O, SI Y NO
         1. TABLAS DE VERDAD

            Annotations:

            • 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.
            1. DEMOSTRACIÓN FORMAL

               Annotations:

               • 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.
               1. CUANTIFICACIONAL

                  Annotations:

                  • Se le da este nombre nombre porque en los enunciados es muy importante el sujeto y el predicado, analizando su estructura.

Annotations:

• 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.

1. ENUNCIADOS SINGULARES

   Annotations:

   • Son los que se refieren a un solo individuo ejemplo: Alejandro compró el carro.
   1. ENUNCIADOS GENERALES

      Annotations:

      • 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.