Вы находитесь на странице: 1из 15

RAZONAMIENTOS LGICOS, INFERENCIA LGICA Y

ARGUMENTOS LGICOS (INDUCTIVOS)


APORTE INDIVIDUAL

Presentado por.
GLORIA MILENA MANRIQUE HINE, Cdigo: 33751195
Grupo colaborativo: 200611_227

Tutor.
NEVARDO ALONSO AYALA ROJAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


PENSAMIENTO LGICO MATEMTICO
ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES
Floridablanca, 8 de Mayo de 2016

1. Aporte 1.
1.1.Demostraciones directas e indirectas

1.1.1. La demostracin

La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es el enlace


entre los conocimientos recin adquiridos y los conocimientos anteriores. Los procedimientos de
demostracin permiten establecer la conexin lgica entre las proposiciones fundamentales de la
teora, sus consecuencias sucesivas, hasta deducir la conclusin o tesis que as se demuestra.
Los principales tipos de demostracin son:

1.1.1.1.La demostracin directa

La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o


premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t como
consecuencia inmediata.
Se plantea una proposicin, en la forma si p entonces q, donde p se denomina hiptesis ( condicin
suficiente) y q, se llama tesis o conclusin ( condicin necesaria). Por ejemplo, si llueve la pista
est mojada; esto es: que es una condicin suficiente para que se aniegue la pista, es que llueva. Y
si llueve necesariamente se moja la pista. En el contexto matemtico, de la verdad de la hiptesis
se llega a la verdad de la conclusin, usando proposiciones cuya certeza se conoce previamente.

Ejemplo 1.
Dadas las premisas: 1. p ~q

2. r q
Concluir: t. p ~r

Demostracin: Puesto que r q es equivalente a ~q ~r, por MTT se tiene la premisa:


3. ~q ~r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como
p ~q y ~q ~r, entonces, p ~r. Por SH

En la demostracin directa, la conclusin se establece al combinar lgicamente los axiomas,


definiciones, y teoremas previos.14 Por ejemplo, la demostracin directa puede ser usada para
establecer que la suma de dos enteros pares es siempre par:

Considere dos enteros pares x e y. Como son pares, pueden ser escritos como x = 2a e y = 2b,
respectivamente, para enteros a y b. Luego la suma x + y = 2a + 2b = 2(a+b). Por lo
tanto x+y tiene un factor de 2 y, por definicin, es par. Por lo tanto la suma de dos enteros pares
es par.

Esta demostracin usa la definicin de enteros pares, las propiedades de los enteros para
la clausura bajo la adicin y la multiplicacin, y la distributividad.

Tambin un teorema se puede enunciar en la forma "p si, slo si q", que conlleva dos enunciados
"si...entonces". Se prueba " si p...entonces q" y adems, " si q... entonces p". Como ejemplo,
un nmero impar si, slo si

es

es par. Enunciados de esta ndole, en la prctica, pueden

demostrase directamente los dos o bien por reduccin absurdo. Lo importante es el enlace
bicondicional

1.1.1.2.La demostracin indirecta


Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando que
las consecuencias de su contraria son falsas.

Ejemplo 1.
Construir la demostracin indirecta de:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar.
Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar, entonces x2 es
impar, luego es imposible que x sea impar y que x2 sea par.
Esta es la contradiccin buscada.
La demostracin por recursin
Cuando la tesis se prueba por medio de induccin matemtica.

Ejemplo 2.

Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin abierta en
una variable n, y es necesario demostrar que tal proposicin se verifica para todos los
elementos n que pertenecen a un subconjunto infinito dado sobre los nmeros enteros, el axioma
de la induccin matemtica es el siguiente:

Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la forma P(n), se puede


demostrar la verdad de esta proposicin estableciendo los siguientes pasos:

I. P(a) es verdadera cuando se sustituye n por a en P(n)


II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P (k) es
verdadera, a esta proposicin, se le llama Hiptesis de Induccin.
III. Se demuestra que para el siguiente trmino al k-simo, o sea k+1, P (k+1) es verdadera

Ejemplos Adicionales:

p q p r
rq

Solucin,
(p q) (p r) (q p) (p r) {Conmutatividad de }
q [p (p r)] {Asociatividad de }
= q r {Modus ponens}
= r q {Conmutatividad de }
El razonamiento es vlido.

Ejercicio:
Si estudio mucho, entonces obtengo C como calificacin o me hago rico. No obtengo C
como calificacin y no me hago rico.
______________________________________________________________________________
____________________________________
No estudio mucho.

La regla de inferencia en notacin simblica es:


p (q r) q r
p

Observemos lo siguiente:
[p (q r)] (q r) [p (q r)] [(q r)] {De Morgan}
= p {Modus Tollens}
Por tanto, el razonamiento es vlido.

2. Aporte 2

Reglas de inferencia:
A medida que vallas estudiando las reglas de inferencias encontrars que stas son usadas continuamente
en el lenguaje natural. Las usamos para obtener conclusiones que consideramos normalmente vlidas. Lo
que haremos ahora, es detenernos a analizar porqu consideramos a estas inferencias vlidas, aprenderemos
que al construir la tabla de verdad de la inferencia lgica se puede determinar la validez de la misma, a la
vez que aprendes a identificar las diferentes inferencias lgicas en los razonamientos que hacemos
continuamente.
Poder identificar una inferencia lgica y poder clasificarla como vlida o no mediante la construccin de la
tabla de verdad te dar las bases para elaborar argumentos slidos, presentes en todas las actividades
acadmicas ya sea en la elaboracin de ensayos o debates, como en las actividades cotidianas.
Veamos la primera regla, denominada Modus Ponendo Ponens MPP, tambin llamada simplemente MP
Modus Ponens, nombre que puedes leer como Modo Afirmando-Afirmando, veamos:

Modus Ponens (M. P) o Modus Ponendo Ponens (MPP)


Cmo interpretar esta ley?, observa el siguiente ejemplo:

Daniel escucha la siguiente afirmacin Si llueve hace fro


En la siguiente escena, Daniel observa llover, es decir llueve
Qu puede concluir Daniel? Que har fro, es decir hace fro

Para obtener tan obvia conclusin, Daniel ha utilizado la ms comn de las inferencias lgicas, la cual
denominaremos MPP Modus Ponendo Ponens.

En este ejemplo, las proposiciones simples son:

p = llueve
q = hace fro

Ejemplo 1
Las proposiciones as declaradas, nos permiten expresar en lenguaje natural lo expresado en lenguaje
simblico as:
p q que equivale a: Si llueve hace fro
As que nuestro ejemplo puede ser representado en el lenguaje simblico de la siguiente manera:
p q Se lee: si p entonces q
p Se lee: ocurre p
q Se lee: de donde q
El smbolo

(de donde) representa la conclusin de las premisas dadas; es decir que la conclusin,

en este caso, es la proposicin q


Modus Tollens (M.T) o Modus Tollendo Tollens (MTT)
p q Se lee: si p entonces q
~ q Se lee: ocurre ~q
... ~ p Se lee: de donde ~p

Esta regla de inferencia dice que si una implicacin es verdadera y su consecuente es falso, entonces su
antecedente ser necesariamente falso; simblicamente se expresa as:
[(p q) ~q] ~p
Ejemplo 2

Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la suma de los otros dos ngulos es
menor de 90.
Premisa 2: La suma de los otros dos ngulos no es menor de 90.
Conclusin: Un ngulo de un tringulo no es mayor de 90.

Simblicamente:
p: Un ngulo de un tringulo es mayor de 90.
q: La suma de los otros dos ngulos es menor de 90.
Premisa 1: p q
Premisa 2: ~ q
Conclusin: ~ p

3. Aporte 3

Todos nos sentimos afligidos por la situacin ocurrida en Ecuador el da 16 de Abril, por el
Terremoto que ha generado una tragedia para los habitantes de dicha Nacin, analicemos lo
siguiente: Si hay una situacin de calamidad pblica, el ndice de sobrevivientes disminuye. Si
llegan tardamente las ayudas internacionales, las esperanzas de la recuperacin social sern
menores. Si el ndice de sobrevivientes disminuye y las esperanzas de la recuperacin social son
menores, entonces la sociedad ir recuperndose lentamente. La calamidad pblica es un hecho y
las ayudas internacionales llegan de manera tarda. Luego, la sociedad ir recuperndose
lentamente.

Identificacin de las proposiciones:

P = Si hay una situacin de calamidad pblica


Q = el ndice de sobrevivientes disminuye.
R = Si llegan tardamente las ayudas internacionales
S = las esperanzas de la recuperacin social sern menores.
T = la sociedad ir recuperndose lentamente.

Premisas:
1. Si hay una situacin de calamidad pblica, el ndice de sobrevivientes disminuye.
2. Si llegan tardamente las ayudas internacionales, las esperanzas de la recuperacin social
sern menores.
3. Si el ndice de sobrevivientes disminuye y las esperanzas de la recuperacin social son
menores, entonces la sociedad ir recuperndose lentamente.
4. La calamidad pblica es un hecho y las ayudas internacionales llegan de manera tarda.

Conclusin: La sociedad ir recuperndose lentamente.

Premisas:

Premisa 1: (pq)
Premisa 2: (rs)
Premisa 3: (q s)t
Premisa 4: pr
Conclusin: t

Frmula:
[(pq) (rs)((q s)t)]((pr)t)

Demostracin por inferencias: t

Premisa 1: (pq)
Premisa 2: (rs)
Premisa 3: (q s)t
Premisa 4: pr
5. p
6. r
7. q
8. s
9. qs
10. t

Sim 4
Sim 4
MPP 4,5
MPP 2,6
Conj. 7,8
MPP 3,9

Tabla de verdad:
p

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

pq

rs

qs

(pr)

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V

V
V
F
F
V
V
F
F
F
F
F
F
F
F
F
F
V
V
F
F
V
V
F
F
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

((pq)(rs))
V
V
F
F
V
V
V
V
F
F
F
F
F
F
F
F
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V

((qs)t)
V
F
V
V
V
F
V
V
V
V
V
V
V
V
V
V
V
F
V
V
V
F
V
V
V
V
V
V
V
V
V
V

[((pq)(rs))((qs)t)] ((pr)t) [((pq)(rs))((qs)t)]((pr)t)


V
F
F
F
V
F
V
V
F
F
F
F
F
F
F
F
V
F
F
F
V
F
V
V
V
V
F
F
V
V
V
V

V
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

Comprobacin tabla de verdad:

El presente razonamiento se considera una Tautologa, ya que sus resultados fueron todos
verdaderos.

REFERENCIAS BIBLIOGRFICAS

DE INVESTIGACIN:

Lgica Matemtica (Lic. Matemticas), Unidad 2, Razonamientos lgicos, captulo 5, Inferencias


lgicas,

leccin

24,

Demostracin

directa

indirecta.

http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/capitulo_5_inferencias
_lgicas.html

Wiquipedia la enciclopedia libre, demostracin en matemtica, mtodos de demostracin,


demostracin

directa,

https://es.wikipedia.org/wiki/Demostraci%C3%B3n_en_matem%C3%A1tica#Demostrac
i.C3.B3n_directa

Apuntes de lgica matemtica, razonamientos y demostraciones, Francisco Jos Gonzlez


Gutirrez

Cdiz,

Abril

de

2005,

http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion3.pdf

Lgica,

Inferencia

lgica

partes

1,

2,

3,

https://www.youtube.com/watch?v=LtzqoInTzvE#t=2.360458

5,

Marcos

Quispe,