Lógica Proposicional

Nota:

• Las proposiciones son afirmaciones que pueden ser Verdaderas o Falsas

1. Lenguaje Formal
   1. Lexico
      1. letras composicionales
      2. Simbolos Logicos
      3. Simbolos Auxiliares
   2. Sintaxis
      1. Sentencia Atomica
         1. Literal Positivo
            1. p
         2. Literal Negativo
            1. -p
      2. Sentencia Compuesta
         1. Combinacion de sentencias
      3. Implicacion

         Nota:

         • Observacion al video No es lo mismo una premisa que un antecedente Tampoco es lo mismo una conclusion que un consecuente LO CORRECTO ES  ANTECEDENTE /CONSECUENTE Una premisa es un enunciado que forma parte de un razonamiento Una la conclusión es el desenlace de ese razonamiento
         1. Sentencia SI - ENTONCES
      4. Precedencia
         1. negacion
         2. Conjuncion
         3. disyuncion
         4. condicional
         5. Bicondicional
      5. Notacion BNF
   3. Semantica