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