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

+contenido
m (Corrección)
(+contenido)
== Ejercicio #2 ==
 
Si exportamos productos a otros países los productores locales se beneficiarán. Si los compradores los aprovechan, su nivel de vida mejorará. Por lo tanto si exportamos productos a otros países y los compradores los aprovechan, entonces los productores locales se beneficiarán y el nivel de vida de los compradores mejorará.
Texto del ejercicio #2
 
{{Cajón|Solución|
'''Afirmaciones:'''
Solución del ejercicio #2.
 
* A: Exportamos productos a otros países.
* B: Los productores locales se benefician.
* C: Los compradores aprovechan los productos.
* D: El nivel de vida de los compradores mejora.
 
'''Premisas:'''
 
* <math>A \Rightarrow B</math>
* <math>C \Rightarrow D</math>
 
'''Conclusión:'''
 
* <math>(A \and C) \Rightarrow (B \and D)</math>
 
'''Razonamiento:'''
 
{{{!}} class{{=}}"wikitable"
!Identificador
!Proposición
!Regla
!Dependencias
{{!}}-
{{!}}1
{{!}}<math>A \Rightarrow B</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<math>C \Rightarrow D</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}3
{{!}}<blockquote><math>A \and C</math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}4
{{!}}<blockquote><math>A</math></blockquote>
{{!}}<blockquote>Eliminación de la conjunción (EC)</blockquote>
{{!}}<blockquote>3</blockquote>
{{!}}-
{{!}}5
{{!}}<blockquote><math>B</math></blockquote>
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}<blockquote>1, 4</blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math>C \and A</math></blockquote>
{{!}}<blockquote>Conmutatividad de la conjunción</blockquote>
{{!}}<blockquote>3</blockquote>
{{!}}-
{{!}}7
{{!}}<blockquote><math>C</math></blockquote>
{{!}}<blockquote>Eliminación de la conjunción (EC)</blockquote>
{{!}}<blockquote>6</blockquote>
{{!}}-
{{!}}8
{{!}}<blockquote><math>D</math></blockquote>
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}<blockquote>2, 7</blockquote>
{{!}}-
{{!}}9
{{!}}<blockquote><math>B \and D</math></blockquote>
{{!}}<blockquote>Introducción de la conjunción (IC)</blockquote>
{{!}}<blockquote>6, 8</blockquote>
{{!}}-
{{!}}10
{{!}}<math>(A \and C) \Rightarrow (B \and D)</math>
{{!}}Deducción condicional
{{!}}3, 4, 5, 6, 7, 8, 9
{{!}}-
{{!}}}
 
'''Resultado:'''
 
* El razonamiento es válido.
}}
 
19 338

ediciones