Diferencia entre revisiones de «Lógica proposicional/Deducciones indirectas»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
+contenido
Lsanabria (discusión | contribs.)
Línea 16:
 
=== Un ejemplo completo ===
Considere el siguiente argumento:
 
<blockquote>Si hay probabilidad de lluvia o la máquina de cortar no funciona, el jardinero no cortará el césped. Si la temperatura es superior a los 25.° C, no hay probabilidades de lluvia. Hoy la temperatura es de 30.° C y la máquina funciona, por lo tanto el jardinero cortará el césped.</blockquote>
[Texto del subtema ...]
 
Al expresar las afirmaciones de forma simbólica tenemos:
 
* A: Hay probabilidad de lluvia.
* B: La máquina de cortar funciona.
* C: El jardinero cortará el césped.
* D: La temperatura es superior a los 25.° C
 
Las premisas y la conclusión en formato proposicional son:
 
* '''Premisa''': Si hay probabilidad de lluvia o la máquina de cortar no funciona, el jardinero no cortará el césped.
::<math>(A \or \neg B) \Rightarrow \neg C</math>
* '''Premisa''': Si la temperatura es superior a los 25.° C, no hay probabilidades de lluvia.
::<math>D \Rightarrow \neg A</math>
* '''Premisa''': Hoy la temperatura es de 30.° C y la máquina funciona.
::<math>D \and B</math>
* '''Conclusión''': El jardinero cortará el césped.
::<math>C</math>
 
La siguiente tabla muestra la información anterior y el proceso de razonamiento usando una deducción indirecta.
 
{{{!}} class{{=}}"wikitable"
!Identificador
!Proposición
!Regla
!Dependencias
{{!}}-
{{!}}1
{{!}}<math>(A \or \neg B) \Rightarrow \neg C</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<math>D \Rightarrow \neg A</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}3
{{!}}<math>D \and B</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}4
{{!}}<math></math>
{{!}}
{{!}}
{{!}}-
{{!}}5
{{!}}<math></math>
{{!}}
{{!}}
{{!}}-
{{!}}6
{{!}}<math></math>
{{!}}
{{!}}
{{!}}-
{{!}}7
{{!}}<math></math>
{{!}}
{{!}}
{{!}}-
{{!}}}
 
== Resumen de la lección ==