14141782
Description
Mind Map by Froilan Merlo, updated more than 1 year ago
|
Created by Froilan Merlo
over 6 years ago
|
|
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
Want to create your own Mind Maps for free with GoConqr? Learn more.