LOGICA PROPOSICIONAL

Annotations:

• LOGICA PROPOSICIONAL

1. estudia el razonamiento conforme a proposiciones y se constituye mediante un alfabeto de simbolos y conjuntos de cadena
   1. PROPOSICIONES
      1. SENCILLAS O ATOMICAS
      2. MOLECULARES
         1. Conectores logicos
            1. disyucion, conjuncion, negacion ,condicional,doble condicional
               1. tautologia y contradiccion
                  1. contingencia
                     1. implicaciones
                     2. doble implicaciones
                     3. equivalencia ley de Morgan
   2. INFERENCIA LOGICA
      1. conclusiones y premisas
         1. leyes de inferencia
            1. 1.de union 2.de insercion de tautologia 3.de uso de tautologia
               1. Reglas de inferencia
                  1. Modus ponens,Modus tollens
                     1. Teorema
                        1. hipotesis,conclusiones ,demostracion ,teorema directo,teorema reciproco,contrario,contrareciproco
                     2. Metodo demostrativo
                        1. conclusiones apartir de la hipotesis
                           1. Metodo condicional
                           2. Metodo de induccion o recurrencia
                           3. Reduccion al absurdo
                           4. Metodo directo
   3. FUNCIONES PROPOSICIONALES CUANTIFICADORAS
      1. proposiciones
      2. cuantificadores