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

+contenido
(+contenido)
(+contenido)
# Derivado a partir de un miembro anterior en la secuencia al reemplazarlo con una proposición lógicamente equivalente.
 
=== [Subtema 1]Procedimiento ===
 
No existe una estructura normalizada para el formato de las demostraciones por deducción directa, sin embargo todas tiene los siguientes elementos básicos:
[Texto del subtema 1]
 
* Un identificador único para cada proposición en la secuencia.
* La lista de proposiciones que forman la secuencia.
* La descripción de la equivalencia lógica o regla de equivalencia aplicadas en cada caso para generar la siguiente proposición en la secuencia, o la indicación de que se trata de una premisa.
 
{{comentario|Texto del comentario.}}
19 338

ediciones