observa el siguiente ejemplo:
Daniel escucha la siguiente afirmación “Si llueve hace frío”
En la siguiente “escena”, Daniel observa llover, es decir “llueve”
¿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 lasinferencias lógicas, la cual denominaremos MPP ó Modus Ponendo Ponens.En este ejemplo, las proposiciones simples son:
p = llueve
q = hace frío
Ejemplo 1Las proposiciones así declaradas, nos permiten expresar en lenguaje natural lo
expresado en lenguaje simbólico así:
p → q que equivale a: Si llueve hace frío
Así que nuestro ejemplo puede ser representado en el lenguaje simbólico de la
siguiente manera:
p → q Se lee : si p entonces q
p Se lee : ocurre p
\q Se lee : de donde q
El símbolo \ (de donde) representa la conclusión de las premisas dadas;es decir que la conclusión, en este caso, es la proposición q
Modus Ponens (M. P)
1-Si llueve hace frío
2-llueve
3-luego Hace frío
No hay comentarios:
Publicar un comentario