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

(Creando (en progreso))
 
== 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.
Texto del ejercicio #1
 
{{Cajón|Solución|
'''Afirmaciones:'''
Solución del ejercicio #1.
 
* 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)»}}
}}
 
19 338

ediciones