Diferencia entre revisiones de «Lógica proposicional/Deducciones directas»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
Lsanabria (discusión | contribs.)
Línea 179:
== Resumen de la lección ==
 
* La lógica proposicional nos permite derivar información nueva a partir de la que conocemos.
* [Punto principal de la lección]
* Las demostraciones usando tablas de verdad pueden requerir tablas de verdad significativamente grandes.
* [Punto principal de la lección]
* La deducción natural permite validar si una conclusión es una consecuencia lógica de las premisas.
* [...]
* La deducción directa consiste en la aplicación de reglas de inferencia y equivalencias lógicas sobre una secuencia de proposiciones para llegar de las premisas a la conclusión.
* Cada miembro de una secuencia de proposiciones en una deducción directa debe ser una premisa o una consecuencia de las proposiciones anteriores.
 
== Términos clave ==