Diferencia entre revisiones de «Lógica proposicional/Deducciones condicionales/Evaluación»
Contenido eliminado Contenido añadido
m Cambiando categoría |
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap |
||
Línea 90:
'''Conclusión:'''
* <math>(A \
'''Razonamiento:'''
Línea 111:
{{!}}-
{{!}}3
{{!}}<blockquote><math>A \
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}<blockquote>n/a</blockquote>
Línea 126:
{{!}}-
{{!}}6
{{!}}<blockquote><math>C \
{{!}}<blockquote>Conmutatividad de la conjunción</blockquote>
{{!}}<blockquote>3</blockquote>
Línea 141:
{{!}}-
{{!}}9
{{!}}<blockquote><math>B \
{{!}}<blockquote>Introducción de la conjunción (IC)</blockquote>
{{!}}<blockquote>6, 8</blockquote>
{{!}}-
{{!}}10
{{!}}<math>(A \
{{!}}Deducción condicional
{{!}}3, 4, 5, 6, 7, 8, 9
Línea 174:
* <math>A \Rightarrow B</math>
* <math>B \Rightarrow C</math>
* <math>(C \
'''Conclusión:'''
Línea 199:
{{!}}-
{{!}}3
{{!}}<math>(C \
{{!}}Premisa
{{!}}n/a
Línea 219:
{{!}}-
{{!}}7
{{!}}<blockquote><math>C \
{{!}}<blockquote>Introducción de la disyunción (ID)</blockquote>
{{!}}<blockquote>6</blockquote>
Línea 253:
'''Premisas:'''
* <math>A \Rightarrow (B \
* <math>\neg C</math>
Línea 269:
{{!}}-
{{!}}1
{{!}}<math>A \Rightarrow (B \
{{!}}Premisa
{{!}}n/a
Línea 284:
{{!}}-
{{!}}4
{{!}}<blockquote><math>B \
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}<blockquote>1, 3</blockquote>
{{!}}-
{{!}}5
{{!}}<blockquote><math>C \
{{!}}<blockquote>Conmutatividad de la disyunción</blockquote>
{{!}}<blockquote>4</blockquote>
Línea 329:
'''Premisas:'''
* <math>(A \
* <math>\neg A \Rightarrow \neg D</math>
* <math>D</math>
Línea 346:
{{!}}-
{{!}}1
{{!}}<math>(A \
{{!}}Premisa
{{!}}n/a
Línea 376:
{{!}}-
{{!}}7
{{!}}<blockquote><math>A \
{{!}}<blockquote>Introducción de la conjunción (IC)</blockquote>
{{!}}<blockquote>5, 6</blockquote>
| |||