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

m
Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap
m (Cambiando categoría)
m (Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap)
 
'''Conclusión:'''
 
* <math>(A \andland C) \Rightarrow (B \andland D)</math>
 
'''Razonamiento:'''
{{!}}-
{{!}}3
{{!}}<blockquote><math>A \andland C</math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math>C \andland A</math></blockquote>
{{!}}<blockquote>Conmutatividad de la conjunción</blockquote>
{{!}}<blockquote>3</blockquote>
{{!}}-
{{!}}9
{{!}}<blockquote><math>B \andland D</math></blockquote>
{{!}}<blockquote>Introducción de la conjunción (IC)</blockquote>
{{!}}<blockquote>6, 8</blockquote>
{{!}}-
{{!}}10
{{!}}<math>(A \andland C) \Rightarrow (B \andland D)</math>
{{!}}Deducción condicional
{{!}}3, 4, 5, 6, 7, 8, 9
* <math>A \Rightarrow B</math>
* <math>B \Rightarrow C</math>
* <math>(C \orlor D) \Rightarrow E</math>
 
'''Conclusión:'''
{{!}}-
{{!}}3
{{!}}<math>(C \orlor D) \Rightarrow E</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}7
{{!}}<blockquote><math>C \orlor D</math></blockquote>
{{!}}<blockquote>Introducción de la disyunción (ID)</blockquote>
{{!}}<blockquote>6</blockquote>
'''Premisas:'''
 
* <math>A \Rightarrow (B \orlor C)</math>
* <math>\neg C</math>
 
{{!}}-
{{!}}1
{{!}}<math>A \Rightarrow (B \orlor C)</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}4
{{!}}<blockquote><math>B \orlor C</math></blockquote>
{{!}}<blockquote>''Modus ponens'' (MP)</blockquote>
{{!}}<blockquote>1, 3</blockquote>
{{!}}-
{{!}}5
{{!}}<blockquote><math>C \orlor B</math></blockquote>
{{!}}<blockquote>Conmutatividad de la disyunción</blockquote>
{{!}}<blockquote>4</blockquote>
'''Premisas:'''
 
* <math>(A \andland \neg B) \Rightarrow C</math>
* <math>\neg A \Rightarrow \neg D</math>
* <math>D</math>
{{!}}-
{{!}}1
{{!}}<math>(A \andland \neg B) \Rightarrow C</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}7
{{!}}<blockquote><math>A \andland \neg B</math></blockquote>
{{!}}<blockquote>Introducción de la conjunción (IC)</blockquote>
{{!}}<blockquote>5, 6</blockquote>
37

ediciones