Diferencia entre revisiones de «Lógica proposicional/Deducciones condicionales/Evaluación»
Contenido eliminado Contenido añadido
Creando (en progreso) |
|||
Línea 4:
== Ejercicio #1 ==
Si Ana recibe un aumento entonces viajará a México. Si viaja a México visitará el sitio arqueológico de Teotihuacán. Por lo tanto, si Ana recibe un aumento entonces visitará el sitio arqueológico de Teotihuacán.
{{Cajón|Solución|
'''Afirmaciones:'''
* A: Ana recibe un aumento.
* B: Ana viaja a México.
* C: Ana visita el sitio arqueológico de Teotihuacán.
'''Premisas:'''
* <math>A \Rightarrow B</math>
* <math>B \Rightarrow C</math>
'''Conclusión:'''
* <math>A \Rightarrow C</math>
'''Razonamiento:'''
{{{!}} class{{=}}"wikitable"
!Identificador
!Proposición
!Regla
!Dependencias
{{!}}-
{{!}}1
{{!}}<math>A \Rightarrow B</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<math>B \Rightarrow C</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}3
{{!}}<blockquote><math>A</math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}4
{{!}}<blockquote><math>B</math></blockquote>
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}<blockquote>1, 3</blockquote>
{{!}}-
{{!}}5
{{!}}<blockquote><math>C</math></blockquote>
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}<blockquote>2, 4</blockquote>
{{!}}-
{{!}}6
{{!}}<math>A \Rightarrow C</math>
{{!}}Deducción condicional
{{!}}3, 4, 5
{{!}}-
{{!}}}
'''Resultado:'''
* El razonamiento es válido.
{{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)»}}
}}
| |||