Olke

1. REGLAS DE INFERENCIA

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...