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

(+contenido)
'''Afirmaciones:'''
 
* A: Los astronautas intentan viajar a Marte.
* A:
* B: Será necesario un aislante muy pesado.
* B:
* C: Será necesario llevar mucho combustible.
* C:
* D: Será necesario llevar mucha agua.
* D:
* E: La nave debe ser muy grande.
 
'''Premisas:'''
 
* <math>A \Rightarrow B</math>
* <math>B \Rightarrow C</math>
* <math>(C \or D) \Rightarrow E</math>
* <math></math>
 
'''Conclusión:'''
 
* <math>A \Rightarrow E</math>
 
'''Razonamiento:'''
{{!}}-
{{!}}1
{{!}}<math>A \Rightarrow B</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<math>B \Rightarrow C</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}3
{{!}}<math>(C \or D) \Rightarrow E</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}4
{{!}}<blockquote><math>A</math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}Premisa
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}5
{{!}}<blockquote><math>B</math></blockquote>
{{!}}<blockquote>Suposición''Modus paraponens'' realizar una demostración condicional(MP)</blockquote>
{{!}}<blockquote>n/a1, 4</blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math>C</math></blockquote>
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}<blockquote>2, 5</blockquote>
{{!}}-
{{!}}7
{{!}}<blockquote><math>C \or D</math></blockquote>
{{!}}<blockquote>Introducción de la disyunción (ID)</blockquote>
{{!}}<blockquote>6</blockquote>
{{!}}-
{{!}}8
{{!}}<blockquote><math>E</math></blockquote>
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}<blockquote>3, 7</blockquote>
{{!}}-
{{!}}9
{{!}}<math>A \Rightarrow E</math>
{{!}}Deducción condicional
{{!}}4, 5, 6, 7, 8
{{!}}-
{{!}}}
19 338

ediciones