Diferencia entre revisiones de «Lógica proposicional/Deducciones condicionales/Evaluación»
Contenido eliminado Contenido añadido
m Corrección |
|||
Línea 66:
* 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)»}}▼
▲
}}
|