Diferencia entre revisiones de «Lógica proposicional/Deducciones condicionales/Evaluación»
Contenido eliminado Contenido añadido
Línea 247:
'''Afirmaciones:'''
* A: Matias ganó el concurso.
* B: Pedro quedó en segundo lugar.
* C: Juan quedó en tercer lugar.
'''Premisas:'''
* <math>A \Rightarrow (B \or C)</math>
* <math>\neg C</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>▼
{{!}}<blockquote>1, 3</blockquote>▼
{{!}}-
{{!}}5
{{!}}<blockquote><math>C \or B</math></blockquote>
{{!}}<blockquote>
{{!}}<blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math>B</math></blockquote>
{{!}}<blockquote>Silogismo disyuntivo (SD)</blockquote>
{{!}}<blockquote>2, 5</blockquote>
{{!}}-
{{!}}7
{{!}}
{{!}}Deducción condicional▼
▲{{!}}<blockquote></blockquote>
{{!}}3, 4, 5, 6
▲{{!}}<blockquote></blockquote>
{{!}}-
{{!}}8
{{!}}
{{!}}Contraposición lógica
▲{{!}}Deducción condicional
{{!}}-
{{!}}}
|