Admon

Solo disponible en BuenasTareas
  • Páginas : 4 (994 palabras )
  • Descarga(s) : 0
  • Publicado : 16 de febrero de 2011
Leer documento completo
Vista previa del texto
LEYES DE INFERENCIA
En el capítulo cuatro conociste sobre las leyes de inferencia. Nueve leyes que continuamente usamos para al elaborar nuestros razonamientos.

MPP
Por ejemplo: "Si Juanestudia, aprende", encontramos que Juan estudia, ¿Que podemos concluir? ....lógico... "que Juan aprende". 

Ahora bien, este razonamiento que encontramos tan evidente, corresponde a la primera ley, la cuales conocida como Modus Ponendo Ponenes, y puede ser representada como sigue:

p = Juan estudia
q = Juan aprende
p --> q = Si juan estudia, entonces aprende

(p --> q)^p = Si juanestudia, entonces aprende. y ocurre que estudia

[(p --> q)^p]--> q = Si juan estudia, entonces aprende. y ocurre que estudia luego aprende

En conclusión, esta es la representación del MPP: [(p--> q)^p]--> q

Recordemos la segunda representación aprendida en el módulo:

p --> q se lee Si Juan estudia, entonces aprende
p se da que Juan estudia
_________ esta línea se lee: enconclusión
q se lee Juan aprende

En conclusión, la otra representación del MPP es:
p --> q
p
_____
q
MTT
Por ejemplo: "Si Juan estudia, aprende", encontramos que Juan no estudia, ¿Que podemosconcluir? ....lógico... "que Juan no aprende". 

Ahora bien, este razonamiento que encontramos tan evidente, corresponde a la segunda ley, la cual es conocida como Modus Tollendo Tollens, y puedeser representada como sigue:

p = Juan estudia
q = Juan aprende

[(p --> q)^¬p]--> ¬q

Recordemos la segunda representación aprendida en el módulo:

p --> q se lee Si Juan estudia,entonces aprende
¬p se da que Juan no estudia
_________ esta línea se lee: en conclusión
¬q se lee Juan no aprende

En conclusión, la otra representación del MTT es:
p --> q
¬q
_____
¬p
SD oSilogismo Disyuntivo

Veamos el ejemplo: "Si Juan lanza una moneda, esta puede caer cara o sello", encontramos que la moneda no cae cara. ¿Que podemos concluir? ....lógico... "que la moneda cae...
tracking img