LEYES DE LA INFERENCIA

ANONIMO

Tutor
Adrin Reinaldo Valencia

Universidad Nacional Abierta Y A Distancia

Pensamiento Lgico Y Matemtico
Cali Valle
Noviembre 20 de 2016
Objetivos

Socializar la conceptualizacin los diferentes tipos de leyes de inferencia

lgica, ejemplificndolos
De acuerdo a los conocimientos adquiridos, Interpretar un enunciado tipo
argumento de una situacin problmica, demostrar su validez a travs de las
tablas de verdad y de las leyes de inferencia.

INTRODUCCIN

En este trabajo enfrentamos situaciones problemicas de la vida cotidiana las cuales nos implican
utilizar todo lo desarrollado en el curso, mediante tablas de verdad y leyes de inferencia se puede
demostrar la veracidad de los enunciados y desarrollar nuestro pensamiento lgico para analizar
cada uno de los enunciados

Etapa 1

Demostracin por Reduccin al Absurdo o Contradiccin

El mtodo de demostracin por reduccin al absurdo se fundamenta en la condicin de no
contradiccin para una teora, bsicamente la estrategia consiste en suponer explcitamente la
negacin de la proposicin a demostrar, a partir de esta hiptesis se trata de generar una
contradiccin, esto es: que la teora con ese supuesto es inconsistente y, en consecuencia, tal
hiptesis es falsa, o lo que es equivalente, que su negacin es verdadera, quedando validada la
proposicin inicial.
Es usado para demostrar la validez de proposiciones categricas; se parte por suponer como
hipottica la negacin o falsedad de la tesis de la proposicin a demostrar, y mediante una
concatenacin de inferencias lgicas vlidas se pretende derivar una contradiccin lgica, un
absurdo; de derivarse una contradiccin, se concluye que la hiptesis de partida (la negacin de
la original) ha de ser falsa, y la original es verdadera y la proposicin o argumento es vlido.
En la lgica proposicional a la Regla de Reduccin al Absurdo tambin se le conoce como Regla
de introduccin a la Negacin.

Reduccin al Absurdo.
Ejemplo
Demostrar que a y b son nmeros enteros que cumplen con la igualdad.
a + a2 + a3 = b + b2, entonces, a, es par.
De acuerdo con las reglas de Reduccin al Absurdo suponemos que a es un nmero impar, como
a es impar entonces a2 y a3 son impares por lo tanto a + a2 + a3 es tambin un nmero impar.
Como b + b2 = a + a2 + a3
Entonces b + b2 es impar; pero b + b2 es par ya que b + b2 = b (b + 1) por lo que b o (b+1) es
un nmero par lo que es una contradiccin, entonces la premisa de que a es impar es falsa por lo
tanto su negacin a es par, resulta verdadera.

Demostrar que el conjunto de nmeros primos es infinito. Se toma como base la proposicin Los
nmeros primos son un conjunto finito, y consideramos que p es el numero primo de mayor
tamao entonces p no es divisible por ningn nmero primo, pero todo entero puede ser
representado como un producto de nmeros primos elevados a alguna potencia por lo que p debe
de ser necesariamente dividido por un nmero primo lo que es una contradiccin, por lo tanto el
conjunto de nmeros primos es infinito.

Ejemplo

A lo que hay que llegar es a P, que es la negacin de algo, por eso habr que usar la regla
de introduccin de la negacin, conocida como reduccin al absurdo.
La forma de hacer esto ser suponer lo contrario de P (que es P) y llegar a una contradiccin.
Al suponer P llegaremos a Q (por eliminacin de la implicacin), y como tambin tenemos
que Q, podremos aplicar la regla. Este Q habr que meterlo dentro de la subdemostracin con
la regla de iteracin, para que est junto con la Q y dentro de la subdemostracin. Todo lo que
hay dentro de la subdemostracin es consecuencia de P, as que es importante ver que
tanto Q como Q lo son.
Para la introduccin de la negacin, la forma de justificar la regla es poniendo el nmero de
lnea donde empieza la suposicin (errnea), y los nmeros de las dos lneas donde hemos visto
la contradiccin. La conclusin de esta regla es lo contrario de lo que se haba supuesto, en este
caso P, por lo que se acaba el procedimiento.
Este razonamiento se suele hacer sin pensar. En palabras sera algo as: ``claro que P, porque si
fuera P entonces Q , y me dicen que Q, as que no puede ser P''.
Etapa 2

MODUS TOLLENDO PONENS (TP)

La disyuncin, que se simboliza con el operador V, representa una eleccin entre dos enunciados.
Ahora bien, en esa eleccin, forma parte de las posibilidades escoger ambos enunciados, es decir,
la verdad de ambos enunciados no es incompatible, si bien, ambos no pueden ser falsos.

A partir de lo anterior, se deduce la siguiente regla, denominada tollendo ponens (negando

afirmo): si uno de los miembros de una disyuncin es negado, el otro miembro queda
automticamente afirmado, ya que uno de los trminos de la eleccin ha sido descartado.
Ejemplo
pVq

He ido al cine o me he ido de compras

No he ido de compras

__________________________________________________________

Por tanto, he ido al cine

Ejemplo
En el siguiente ejemplo se muestra que si no ocurre un determinado suceso entonces sucede otro:

Es el caso que A, o es el caso que B

No A
Por lo tanto, B

O exclusivo:
O es el caso que A, o es el caso que B
No A
Por lo tanto, B

Es un modo bastante sencillo, para entenderlo ms claramente podramos decir que:

O es de da o es de noche.
No es de da.
Por lo tanto, es de noche.

LEY DE ADICIN (LA)

Esta ley expresa el hecho que si tiene una proposicin que es cierta, entonces la disyuncin de
aquella proposicin y otra cualquiera ha de ser tambin cierta.

--------

--------

.: P V Q

.: P V Q

EJEMPLO: este libro es azul

Q: este libro es azul

________

______________

.:Q V R

.: Q V N

_______________
.: Q V B

Podriamos decir que

R: es rojo
N: es nuevo
B: es viejo

EJEMPLO
Dado un enunciado cualquiera, es posible expresarlo como una eleccin (disyuncin)
acompaado por cualquier otro enunciado.

He comprado manzanas

______________________________________________________________

aVb

He comprado manzanas o he comprado peras

Etapa 3
Anexo
Soy un gran aficionado al ftbol y mi equipo ha pasado a disputar la final del torneo y algo que
he aprndido es que en 90 minutos del juego se viven y se sienten muchas emociones, hay
minutos de intensa alegra otros minutos de ansiedad, otros de tristeza, en fin el ftbol es una
pasin que genera toda una gama de sensaciones. Hoy es el da del partido de la final y voy a
narrar lo que viv en el transcurrir de los 90 minutos:
Si mi equipo gana yo me pongo contento.
Si mi equipo pierde me pongo triste.
En este momento mi equipo est ganando o est perdiendo.
Por consiguiente, estoy contento o triste.
Comprobar la validez del razonamiento que he hecho frente a las emociones que viv en el
partido de la final, hacerlo a travs de las dos maneras con la tabla de verdad y con el uso de las
leyes de inferencia.
[((p q) (r m) (pr)) (qm)]
P

(RM)

(PR)

(PQ
)
V

(PQ)(RM)(PR)

(PQ)(RM
)
V

(PQ)(RM)(PR)

(QM
)
V

Premisa 1: (p q)
Premisa 2: (r m)
Premisa 3: (pr)
Conclusin: (qm)

silogismo disyuntivo,1,2,3

CONCLUSIONES

Aplique los conocimientos adquiridos, identifique y utilice en forma clara las

reglas de inferencia lgica
Realice demostraciones de razonamientos vlidos en situaciones especficas.

REFERENCIAS

Rodrguez, V. R. (2013). Conjuntos numricos, estructuras algebraicas y fundamentos

de lgebra lineal. Volumen I: conjuntos numricos, complementos. Madrid, ES: Editorial
Tbar Flores. Pginas 17-29. Recuperado de:http://hdl.handle.net/10596/6534

Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las

lgebras de Boole. 1. Edicin. Mxico, Editorial Pearson. Pginas 9-54. Recuperado
de: http://hdl.handle.net/10596/7960
Zazueta B. L. Clix L. C. (2008). Lgica II. Primera Edicin. Mxico Universidad
autnoma de Sinaloa. Pginas 91 197. Recuperado
de: http://hdl.handle.net/10596/7963
Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. : Larousse
- Grupo Editorial Patria. Pginas 29 38. Recuperado
de:http://hdl.handle.net/10596/6544
Giraldo, J. (2016) Uso de las Leyes de Inferencia en la demostracin de la validez de
un argumento. Recuperado de http://hdl.handle.net/10596/7964
Wisniewski, P. M., & Gutirrez, B. A. L. (2011). Introduccin a las matemticas
universitarias. Mxico: McGraw-Hill Interamericana. http://www.ebrary.com.
recuperado: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10473069

Lewin, R. (2011). La teora de conjuntos y los fundamentos de la matemtica. Chile:

Editorial ebooks Patagonia - J.C. Sez Editor. http://www.ebrary.com.
Recuperado: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10526962

Cardona, T. S. A. (2010). Lgica matemtica para ingeniera de sistemas y

computacin. Madrid, ES: Ediciones
Elizcom. http://www.ebrary.com.Recuperado:http://bibliotecavirtual.unad.edu.co:2077/
lib/unadsp/reader.action?docID=10565960&ppg=76