Mindmap
logica proporcional
Inhalt der Mindmap
logica proporcional
elentos
- inferencia
- consistente
- derivar nuevas apartir de la existentes
- cuando es
- modelos
- en algunos
- modelos
- cuando es
- derivar nuevas apartir de la existentes
- tiene
- equivalencia
- tiene
- mismos valores de verdad
- en el mismo conjunto de
- modelo
- en el mismo conjunto de
- mismos valores de verdad
- tiene
- valides
- cuando es
- verdadera
- entodos
- modelos
- entodos
- verdadera
- cuando es
- equivalencia
- consistente
- inferencia
elementos
- semantica
- permite
- definir la reglaspara determinar el valor de la verdad
- mediante
- procesos recursivos
- mediante
- definir la reglaspara determinar el valor de la verdad
- permite
- sintaxis
- especifica
- estructura de las sentencias
- tipos de sentencias
- atonicas
- contienen
- simbolos proporcionales
- contienen
- complejas
- se contribuyen mediante
- conectivas logicas
- las principales son
- negacion y confucion
- las principales son
- conectivas logicas
- se contribuyen mediante
- atonicas
- especifica
- semantica