14141782
Descripción
Mapa Mental por Froilan Merlo, actualizado hace más de 1 año
|
Creado por Froilan Merlo
hace casi 6 años
|
|
Lógica
proposicional
- Sintaxis
- estructura de
las sentencias
- sentencia
atómicas
- símbolos
proposicionales
- símbolos
proposicionales
- sentencias
complejas
- conectivas
lógicas
- negación
- conjunción
- disyunción
- implicación
- bicondicional
- negación
- conectivas
lógicas
- estructura de
las sentencias
- Semántica
- definir reglas,
valor de
verdad
- mediante proceso
recursivo
- 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
- 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
- modelos
- cuando es verdadera
en algunos casos
- consisite en derivar
nuevas sentencias, a
partir de las existentes
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.