Diferencia entre revisiones de «Lógica proposicional/Deducciones condicionales/Evaluación»
Contenido eliminado Contenido añadido
+contenido |
|||
Línea 162:
{{Cajón|Solución|
'''Afirmaciones:'''
* A:
* B:
* C:
* D:
'''Premisas:'''
* <math></math>
* <math></math>
* <math></math>
* <math></math>
'''Conclusión:'''
* <math></math>
'''Razonamiento:'''
{{{!}} class{{=}}"wikitable"
!Identificador
!Proposición
!Regla
!Dependencias
{{!}}-
{{!}}1
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}3
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}4
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}5
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}7
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}8
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}9
{{!}}<math></math>
{{!}}Deducción condicional
{{!}}
{{!}}-
{{!}}}
'''Resultado:'''
* El razonamiento es válido.
}}
Línea 170 ⟶ 245:
{{Cajón|Solución|
'''Afirmaciones:'''
* A:
* B:
* C:
* D:
'''Premisas:'''
* <math></math>
* <math></math>
* <math></math>
* <math></math>
'''Conclusión:'''
* <math></math>
'''Razonamiento:'''
{{{!}} class{{=}}"wikitable"
!Identificador
!Proposición
!Regla
!Dependencias
{{!}}-
{{!}}1
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}3
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}4
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}5
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}7
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}8
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}9
{{!}}<math></math>
{{!}}Deducción condicional
{{!}}
{{!}}-
{{!}}}
'''Resultado:'''
* El razonamiento es válido.
}}
Línea 178 ⟶ 328:
{{Cajón|Solución|
'''Afirmaciones:'''
* A:
* B:
* C:
* D:
'''Premisas:'''
* <math></math>
* <math></math>
* <math></math>
* <math></math>
'''Conclusión:'''
* <math></math>
'''Razonamiento:'''
{{{!}} class{{=}}"wikitable"
!Identificador
!Proposición
!Regla
!Dependencias
{{!}}-
{{!}}1
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}3
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}4
{{!}}<math></math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}5
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración condicional</blockquote>
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}7
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}8
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}9
{{!}}<math></math>
{{!}}Deducción condicional
{{!}}
{{!}}-
{{!}}}
'''Resultado:'''
* El razonamiento es válido.
}}
| |||