Olke
Páginas: 3 (525 palabras)
Publicado: 7 de mayo de 2010
En un cálculo lógico, las reglas de inferencia o reglas de transformación son aquellos esquemas formales que nos permiten derivar unas fórmulas bien formadas (conclusiones)a partir de otras (premisas).
2. MODUS PONENDO PONENS
Podría decir que es una tautología, significa “afirmando, afirmo” pues es siempre verdadero, afirmando algo, se abrevia MPP o MP, serealiza afirmando el primer termino en este caso a y después se afirma el consecuente en este caso b, su forma de expresarse en formula es la siguiente
Si a, entonces b
a
Por lo tanto b
También
ab
a
b “conclusión”
Ejemplos
SI MARCELA ESTUDIA, ENTONCES REALIZA TAREAS
a marcela estudia
b por lo tanto realiza tareas
SI MARCELA BAILA MUCHO, ENTONCES LE DOLERAN LOS PIESp marcela baila mucho
q por lo tanto le duelen los pies
3. MODUS TOLLENDO TOLLENS
Es decir modo “que negando niega” se abrevia MTT o MT, trata de negar el primer termino en este caso p, ysiendo consecuente niega el segundo en este caso q.
Gráficamente se expresa de la siguiente manera
a b
b
a “conclusión”
SI MARCELA CANTA, ENTONCES ESTA CONTENTA
p noesta contenta
q por lo tanto no canta
SI MARCELA HACE LA TAREA DE LOGICA, ENTONCES ELLA ES RESPONSABLE
p no es responsable
q por lo tanto no hace la tarea de lógica
4. MODUS TOLLENDOPONENS
Se simboliza con V significa (negando, afirmo), representa una elección con dos enunciados, lo cual forma parte de las dos posibilidades que puede escoger.
Puedo decir que si una de laspremisas es negada, la otra automáticamente queda afirmada, pues el otro ha sido descartado
Gráficamente se representa asi
p V q
q
p
MARCELA HA REALIZADO LA TAREA DE LOGICA O DEEXPRESION ORAL.
q no he realizado la tarea de expresión oral
p por lo tanto, he realizado la tarea de lógica
A MARCELA LE GUSTA CARLOS O LE GUSTA ANDRES
q no le gusta...
Leer documento completo
Regístrate para leer el documento completo.