Mapa mental
Lógica proposicional
Contenido del mapa
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
- conectivas lógicas
Semántica
- definir reglas, valor de verdad
- mediante proceso recursivo
- definir reglas, valor de verdad
utiliza inferencia
- consisite en derivar nuevas sentencias, a partir de las existentes
- Equivalencia
- mismos valores de verdad
- modelos
- mismos valores de verdad
- validez
- cuando es verdadera en todos los casos
- cuando es verdadera en todos los casos
- satisfacibilidad
- cuando es verdadera en algunos casos
- modelos
- cuando es verdadera en algunos casos
Información
- Descripción
- Estrategias de aprendizaje para enseñar y aprender
- Creado por
- Froilan Merlo
- Visitas
- 33
- Etiquetas
- Valoración