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

De Wikiversidad
Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
Creando (en progreso)
 
Lsanabria (discusión | contribs.)
Línea 4: Línea 4:
== Ejercicio #1 ==
== 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|
{{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)»}}
}}
}}



Revisión del 00:13 18 ene 2016

Evaluación de la lección 11
Deducciones condicionales

En cada uno de los siguientes ejercicios es necesario identificar las afirmaciones, expresarlas de forma simbólica, identificar las premisas y la conclusión y escribirlas como proposiciones compuestas definidas en términos de las afirmaciones. Finalmente se deben organizar en una tabla de deducción y utilizar las reglas de inferencia y las equivalencias lógicas para demostrar que la conclusión es una consecuencia lógica de las premisas. Para ejercitar los conceptos aprendidos durante la lección es necesario resolver los ejercicios usando deducciones condicionales, aun cuando es posible resolverlos usando la técnica de deducciones directas.

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.


Ejercicio #2

Texto del ejercicio #2


Ejercicio #3

Texto del ejercicio #3


Ejercicio #4

Texto del ejercicio #4


Ejercicio #5

Texto del ejercicio #5


Proyecto: Lógica proposicional
Anterior: Lectura de la lección 11 — Evaluación — Siguiente: Lectura de la lección 12