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

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
Lsanabria (discusión | contribs.)
Línea 247:
'''Afirmaciones:'''
 
* A: Matias ganó el concurso.
* A:
* B: Pedro quedó en segundo lugar.
* B:
* C: Juan quedó en tercer lugar.
* C:
* D:
 
'''Premisas:'''
 
* <math>A \Rightarrow (B \or C)</math>
* <math>\neg C</math>
* <math></math>
* <math></math>
 
'''Conclusión:'''
 
* <math>\neg B \Rightarrow \neg A</math>
 
'''Razonamiento:'''
Línea 272 ⟶ 269:
{{!}}-
{{!}}1
{{!}}<math>A \Rightarrow (B \or C)</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<math>\neg C</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}3
{{!}}<blockquote><math>A</math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}Premisa
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}4
{{!}}<blockquote><math>B \or C</math></blockquote>
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}Premisa
{{!}}<blockquote>1, 3</blockquote>
{{!}}n/a
{{!}}-
{{!}}5
{{!}}<blockquote><math>C \or B</math></blockquote>
{{!}}<blockquote>SuposiciónConmutatividad parade realizarla una demostración condicionaldisyunción</blockquote>
{{!}}<blockquote>n/a4</blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math>B</math></blockquote>
{{!}}<blockquote>Silogismo disyuntivo (SD)</blockquote>
{{!}}<blockquote>2, 5</blockquote>
{{!}}-
{{!}}7
{{!}}<blockquote><math>A \Rightarrow B</math></blockquote>
{{!}}Deducción condicional
{{!}}<blockquote></blockquote>
{{!}}3, 4, 5, 6
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}8
{{!}}<blockquote><math>\neg B \Rightarrow \neg A</math></blockquote>
{{!}}Contraposición lógica
{{!}}<blockquote></blockquote>
{{!}}Premisa7
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}9
{{!}}<math></math>
{{!}}Deducción condicional
{{!}}
{{!}}-
{{!}}}