Reglas de inferencia
1.- Reglas de Inferencia: es una forma válida de razonamiento que es empleada para derivar unas fórmulas bien formadas (conclusiones) a partir de otras (premisas). Lasreglas de inferencia permiten relacionar dos o más tautologías o hipótesis en una demostración.
2.- Modus Ponendo Ponens: este método de inferencia establece que si es cierto una implicación yademás es cierto su antecedente, entonces su consecuente es necesariamente verdadero; simbólicamente esto se expresa así: |(p→q)"^ρ" |→q
3.- Modus Tollendo Tollens: si una implicación es verdadera yademás es falso su consecuente, entonces su antecedente será necesariamente falso. Esta regla de inferencia también se llama contradirecta, porque (p→q)↔(¬q→¬p). El MTT también se simboliza:|(p→q)^¬q|→¬p
4.- Modus Tollendo Ponens: esta ley se anuncia así: si una disyunción es verdadera y una de sus proposiciones simples es falsa, entonces necesariamente la otra proposición es verdadera.Esta ley también se llama silogismo disyuntivo. Simbólicamente:
|(p∨q)∧¬p|→q , o bien |(p∨q)∧¬q|→p
5.- Silogismo Hipotético: aquel tipo de silogismo o más bien regla de inferencia que en suexpresión plantea un caso hipotético, por lo cual puede tener términos válidos o no. Y se enuncia: |(p→q)∧(p→r) |→(p→r). Nótese que el silogismo hipotético (SH) se puede considerar también comopropiedad transitiva de la implicación.
6.- Regla de doble negación: La regla ‘doble negación’, simplemente establece que si un enunciado está doblemente negado, equivaldría al enunciado afirmado.Simbólicamente: ¬¬p ↔ p
7.- Ley de Morgan: Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una conjunción en una disyunción. Cuando se pasa de una a otra, secambian los valores de afirmación y negación de los términos de la disyunción/conjunción así como de la propia operación en conjunto, como podemos observar aquí:
¬(ρ v q)↔¬p∧¬q
¬(p∧q)↔ ¬p v...
Regístrate para leer el documento completo.