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

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.

* <math>(A \and \neg B) \Rightarrow C</math>

* <math>\neg A \Rightarrow \neg D</math>

* <math>D</math>

* <math>\neg B \Rightarrow C</math>

{{!}}<math>(A \and \neg B) \Rightarrow C</math>

{{!}}<math>\neg A \Rightarrow \neg D</math>

{{!}}<math>D</math>

{{!}}<math>\neg \neg A</math>

{{!}}n/a2, 3

{{!}}<blockquote><math>A</math></blockquote>

{{!}}<blockquote><math>A \and \neg B</math></blockquote>

{{!}}<blockquote>Introducción de la conjunción (IC)</blockquote>

{{!}}<blockquote>5, 6</blockquote>

{{!}}<blockquote><math>C</math></blockquote>

{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>

{{!}}<blockquote>1, 7</blockquote>

{{!}}<math>\neg B \Rightarrow C</math>

{{!}}6,7, 8