Академический Документы
Профессиональный Документы
Культура Документы
Presentado por.
GLORIA MILENA MANRIQUE HINE, Cdigo: 33751195
Grupo colaborativo: 200611_227
Tutor.
NEVARDO ALONSO AYALA ROJAS
1. Aporte 1.
1.1.Demostraciones directas e indirectas
1.1.1. La demostracin
Ejemplo 1.
Dadas las premisas: 1. p ~q
2. r q
Concluir: t. p ~r
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
demostrase directamente los dos o bien por reduccin absurdo. Lo importante es el enlace
bicondicional
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:
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.
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:
Para obtener tan obvia conclusin, Daniel ha utilizado la ms comn de las inferencias lgicas, la cual
denominaremos MPP Modus Ponendo Ponens.
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,
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.
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.
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)
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
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
El presente razonamiento se considera una Tautologa, ya que sus resultados fueron todos
verdaderos.
REFERENCIAS BIBLIOGRFICAS
DE INVESTIGACIN:
leccin
24,
Demostracin
directa
indirecta.
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/capitulo_5_inferencias
_lgicas.html
directa,
https://es.wikipedia.org/wiki/Demostraci%C3%B3n_en_matem%C3%A1tica#Demostrac
i.C3.B3n_directa
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,