Diferencia entre revisiones de «Lógica proposicional/Deducciones condicionales/Evaluación»

m
Corrección
m (Corrección)
* El razonamiento es válido.
 
'''Comentario:'''
{{comentario{{!}}En este caso se usó una deducción condicional para demostrar el procedimiento. Sin embargo el problema se puede resolver directamente utilizando la regla de inferencia: «Silogismo hipotético (SH)»}}
 
{{comentario{{!}}* En este caso se usó una deducción condicional para demostrar el procedimiento. Sin embargo el problema se puede resolver directamente utilizando la regla de inferencia: «Silogismo hipotético (SH)»}}.
}}
 
19 338

ediciones