Documente Academic
Documente Profesional
Documente Cultură
Hipotético
¿Qué puede concluir Daniel? Que hará frío, es decir “hace frío”
Para obtener tan “obvia” conclusión, Daniel ha utilizado la más común de las
inferencias lógicas, la cual denominaremos MPP ó Modus Ponendo Ponens.
p = llueve
q = hace frío
Ejemplo 1
Las proposiciones así declaradas, nos permiten expresar en lenguaje natural lo
expresado en lenguaje simbólico así:
p Se lee: ocurre p
p → q Se lee: si p entonces q
~ q Se lee: ocurre ~q
[(p → q) Ʌ ~q] → ~p
Ejemplo 2
Simbólicamente:
Premisa 1: p → q
Premisa 2: ~ q
Conclusión: ~ p
q → r Se lee: si q entonces r
[( p → q ) Ʌ (q → r )] → ( p → r )
Ejemplo 1.
Simbólicamente:
Premisa 1. p →q
Premisa 2. q →r
Conclusión. p →r
pÚq
~p
... q
[( p V q ) Ʌ ~p] ~ q o [( p V q ) Ʌ ~q] → p
Ejemplo 1
Premisa 1: O la energía interna de un átomo puede cambiar con continuidad o cambia
sólo a saltos.
Simbólicamente:
Premisa 1: p v q
Premisa 2: ~p
Conclusión: p
( p → q) Ʌ (r → s )
pVr
... q V s
Absorción (Abs)
p→q
... p → (q Ʌ p)
Simplificación (Simp.)
pɅ q
... p
Conjunción (Conj)
... p Ʌ q
Adición (Ad.)
... p V q
Silogismo hipotético
En la vida diaria utilizamos todo el tiempo esta estructura lógica; sin embargo, donde
más se emplea dicho concepto es en el universo de las matemáticas.