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

== Ejercicio #5 ==
 
Si el asistente del ministro es encontrado culpable de corrupción y el ministro no lo despide, entonces le abrirán una investigación por corrupción a el también. Si el asistente es declarado inocente entonces no hay irregularidades con el manejo de los fondos, el asistente será declarado inocente, pero el comité de investigación si encontró irregularidades. Por lo tanto, si el ministro no despide al asistente entonces le abrirán una investigación por corrupción.
 
{{Cajón|Solución|
'''Afirmaciones:'''
 
* A: El asistente del ministro es encontrado culpable de corrupción.
* A:
* B: El ministro despide al asistente.
* B:
* C: El ministro es investigado por corrupción.
* C:
* D: Hay irregularidades en el manejo de los fondos.
* D:
 
'''Premisas:'''
 
* <math>(A \and \neg B) \Rightarrow C</math>
* <math>\neg A \Rightarrow \neg D</math>
* <math>D</math>
* <math></math>
 
'''Conclusión:'''
 
* <math>\neg B \Rightarrow C</math>
 
'''Razonamiento:'''
{{!}}-
{{!}}1
{{!}}<math>(A \and \neg B) \Rightarrow C</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<math>\neg A \Rightarrow \neg D</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}3
{{!}}<math>D</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}4
{{!}}<math>\neg \neg A</math>
{{!}}''Modus tollens'' (MT)
{{!}}Premisa
{{!}}n/a2, 3
{{!}}-
{{!}}5
{{!}}<blockquote><math>A</math></blockquote>
{{!}}Doble negación
{{!}}Premisa4
{{!}}-
{{!}}6
{{!}}<blockquote><math>\neg B</math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}7
{{!}}<blockquote><math>A \and \neg B</math></blockquote>
{{!}}<blockquote>Introducción de la conjunción (IC)</blockquote>
{{!}}<blockquote>5, 6</blockquote>
{{!}}-
{{!}}8
{{!}}<blockquote><math>C</math></blockquote>
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}<blockquote>1, 7</blockquote>
{{!}}-
{{!}}9
{{!}}<math>\neg B \Rightarrow C</math>
{{!}}Deducción condicional
{{!}}6,7, 8
{{!}}-
{{!}}}
19 338

ediciones