Diferencia entre revisiones de «Lógica proposicional/Deducciones condicionales/Evaluación»
Contenido eliminado Contenido añadido
+contenido |
|||
Línea 164:
'''Afirmaciones:'''
* A: Los astronautas intentan viajar a Marte.
* B: Será necesario un aislante muy pesado.
* C: Será necesario llevar mucho combustible.
* D: Será necesario llevar mucha agua.
* 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>
'''Conclusión:'''
* <math>A \Rightarrow E</math>
'''Razonamiento:'''
Línea 189:
{{!}}-
{{!}}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>
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}5
{{!}}<blockquote><math>B</math></blockquote>
{{!}}<blockquote>
{{!}}<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
{{!}}-
{{!}}}
| |||