Lógica proposicional

Lógica proposicional

1. Sintaxis

   • estructura de las sentencias
   • sentencia atómicas
     • símbolos proposicionales
   • sentencias complejas
     • conectivas lógicas
       • negación
       • conjunción
       • disyunción
       • implicación
       • bicondicional

2. Semántica

   • definir reglas, valor de verdad
     • mediante proceso recursivo

3. utiliza inferencia

   • consisite en derivar nuevas sentencias, a partir de las existentes
   • Equivalencia
     • mismos valores de verdad
       • modelos
   • validez
     • cuando es verdadera en todos los casos
   • satisfacibilidad
     • cuando es verdadera en algunos casos
       • modelos