Mate Discretas
Páginas: 2 (446 palabras)
Publicado: 7 de noviembre de 2012
Reglas de inferencia
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.
Un argumento, por ejemplo es una inferencia, donde las premisasson los datos o expresiones conocidas y de ellas se desprende una conclusión.
Las reglas de inferencia logica, entre otras, son: el Modus Ponendo Ponens (MPP), el Modus Tollendo Tollens (MTT) y elModus Tollendo ponens (MTP), expresiones latinas que traducen: Metodo que afirmando afirma, Metodo que negando niega y Metodo que negando afirma respectivamente.
Modus Ponendo Ponens (MPP):Este método de inferencia establece que si una implicación es cierta y ademas también es cierto su antecedente, entonces su consecuente es necesariamente verdadero; de manera simbolica esto se expresaasi:
[(p→q) ᶺ p] → q
Modus Tollendo Tollens (MTT):
Esta regla de inferencia dice que si una implicación es verdadera y es falso su consecuente, entonces su antecedente sera necesariamente falso; demanera simbolica esto se expresa asi:
[(p→q) ᶺ ~q] →q
Modus Tollendo Ponens (MTP):
Esta ley se enuncia así: si una disyunción es verdadera y una de sus proposiciones simples es falsa, entoncesnecesariamente la otra proposición sera verdadera; de manera simbólica se expresa asi:
[(pᵛq) ᶺ ~p] →q o [(pᵛq) ᶺ ~p] → p
Un argumento es valido si de la conjuncion ( ᶺ ) de las premisas seimplica la conclusion, es decir, siempre que todas las premisas sean verdaderas, la conclusion sera tambien verdadera.
Un argumento es un raciocino que se hae con el objeto de aceptar o rechazar unatesis; es la aceveracion de una proposicion, llamada conclusion o tesis, obtenida de otros enunciados denominados premisas o hipotesis.
La demostración es un razonamiento que prueba la validez deun nuevo conocimiento; es el enlace entre los conocimientos adquiridos y los conocimientos anteriores.
Los procedimientos de demostración que permiten establecer la conexión lógica entre las...
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.
Un argumento, por ejemplo es una inferencia, donde las premisasson los datos o expresiones conocidas y de ellas se desprende una conclusión.
Las reglas de inferencia logica, entre otras, son: el Modus Ponendo Ponens (MPP), el Modus Tollendo Tollens (MTT) y elModus Tollendo ponens (MTP), expresiones latinas que traducen: Metodo que afirmando afirma, Metodo que negando niega y Metodo que negando afirma respectivamente.
Modus Ponendo Ponens (MPP):Este método de inferencia establece que si una implicación es cierta y ademas también es cierto su antecedente, entonces su consecuente es necesariamente verdadero; de manera simbolica esto se expresaasi:
[(p→q) ᶺ p] → q
Modus Tollendo Tollens (MTT):
Esta regla de inferencia dice que si una implicación es verdadera y es falso su consecuente, entonces su antecedente sera necesariamente falso; demanera simbolica esto se expresa asi:
[(p→q) ᶺ ~q] →q
Modus Tollendo Ponens (MTP):
Esta ley se enuncia así: si una disyunción es verdadera y una de sus proposiciones simples es falsa, entoncesnecesariamente la otra proposición sera verdadera; de manera simbólica se expresa asi:
[(pᵛq) ᶺ ~p] →q o [(pᵛq) ᶺ ~p] → p
Un argumento es valido si de la conjuncion ( ᶺ ) de las premisas seimplica la conclusion, es decir, siempre que todas las premisas sean verdaderas, la conclusion sera tambien verdadera.
Un argumento es un raciocino que se hae con el objeto de aceptar o rechazar unatesis; es la aceveracion de una proposicion, llamada conclusion o tesis, obtenida de otros enunciados denominados premisas o hipotesis.
La demostración es un razonamiento que prueba la validez deun nuevo conocimiento; es el enlace entre los conocimientos adquiridos y los conocimientos anteriores.
Los procedimientos de demostración que permiten establecer la conexión lógica entre las...
Leer documento completo
Regístrate para leer el documento completo.