Zusammenfassung der Ressource
Lógica
proposicional
- 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
- Semántica
- definir reglas,
valor de
verdad
- mediante proceso
recursivo
- 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