Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
FASE GRUPAL
INTEGRANTES:
WILFREDO VARGAS CELY
JOSE EFREN RINCON
GRUPO: 200611_527
TUTOR:
ADRIAN REINALDO VALENCIA
INTRODUCCIN
Razonar es un proceso por el cual se establece una conclusin basada en una o mas
proposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el punto
de partida del proceso. Si la conclusin es correcta significa que las premisas contienen la
informacin necesaria y suficiente para establecer la conclusin y por lo tanto se puede
afirmar que el razonamiento es correcto, de lo contrario, se dir que es incorrecto.
Con el desarrollo de este trabajo pretendemos afianzar los procesos de argumentacin y
deduccin que propicien una actitud crtica frente a la realidad; se presenta como la posibilidad
de desarrollar nuestra inteligencia lgica matemtica, la cual ser de gran utilidad en nuestra vida
universitaria y profesional, pues nos permite trabajar sobre situaciones problmicas
contextualizadas a la realidad.
En este trabajo utilizamos herramientas que nos permitieron adquirir habilidades para
comprender conceptos como razonamientos lgicos, inferencia lgica y argumentos lgicos
(inductivos), los conectivos lgicos que usamos diariamente en nuestro leguaje y que pocas
veces nos detenemos a analizar y comprender.
Posteriormente aprenderemos a hacer simplificaciones de expresiones complejas
o difciles de descifrar usando el lenguaje natural, para ello utilizaremos leyes expresadas.
Tambin aprendimos lo que es el lgebra booleana, estudiada por primera vez en detalle por
JORGE BOOLE, la cual constituye un rea de las matemticas que ha pasado a ocupar un
lugar prominente con el advenimiento de la computadora digital; en este caso proporcionan
un eslabn entre el lgebra de conjuntos y el clculo proposicional. Son usadas ampliamente
en el diseo de circuitos de distribucin y computadoras, las aplicaciones de la electrnica
digital a los procesos de control y automatismo industriales estn fundamentadas
tericamente
en este sistema matemtico.
OBJETIVOS
OBJETIVO GENERAL
identificar y utilizar en forma clara las reglas de inferencia lgica por induccin y
deduccin en formulaciones y demostraciones de razonamientos vlidos en situaciones
especficas.
OBJETIVOS ESPECIFICOS
Est basada en la equivalencia lgica conocida como reduccin al absurdo, es por ello que este
mtodo de demostracin es conocido, tambin, como demostracin por reduccin al absurdo.
P Q (P Q) C
Donde se ve que P (P) (C C). As, para demostrar P por contradiccin, basta demostrar
(P) (C C) mediante una demostracin directa.
Wilfredo Vargas
Demostracin por Contraejemplo
En lgica, un contraejemplo es una excepcin a una regla general propuesta, es decir, un caso
especfico de la falsedad de una cuantificacin universal (un "para todo").
El dar un ejemplo o mil, que ilustren una proposicin, no demuestra que sta sea verdadera. Sin
embargo, s podemos demostrar el hecho de que la proposicin sea falsa, aportando por lo menos
n = k+1
Ejemplo 1:
c) Sea n = k + 1 , entonces:
(k + 1) (k + 2) es divisible por 2 (Tesis).
d) Demostracin:
(k + 1) (k + 2) = k(k + 1) + 2(k + 1)
k(k + 1) es divisible por 2 (Por hiptesis de induccin).
2(k + 1) es divisible por 2 (Entero par).
Por lo tanto (k + 1) (k + 2) es divisible por 2.
Ejemplo 2:
Demuestre por induccin matemtica que:
Si n es un entero positivo, entonces a2 n b2 n es divisible por a + b.
a) Sea n = 1, entonces:
a 2n b 2n
= a2 b2
( a + b )( a b )
( Verdadero ) .
b) Sea n = k , entonces:
a 2 k b 2 k es divisible por a + b
( Hiptesis de induccin ) .
c) Sea n = k + 1 , entonces:
a 2 ( k + 1 ) b 2 ( k + 1 ) es divisible por a + b
( Tesis ) .
d) Demostracin:
a2 k b2 k es divisible por a + b
Para obtener tan obvia conclusin, Daniel ha utilizado la ms comn de las inferencias lgicas,
la cual denominaremos MPP o Modus Ponendo Ponens.
En este ejemplo, las proposiciones simples son:
p = llueve
q = hace fro
Ejemplo 1
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 3
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
Silogismo hipottico.
Tambin se puede entender que el argumento que se usa en su estructura no es siempre valido.
Para determinar si es silogismo hipottico se resalta que la primera parte de la conclusin es el
antecedente de la primera premisa y la segunda parte de la conclusin es el consecuente de la
segunda premisa.
De forma lgica
1.
p -> q
2.
q ->r
3.
p ->r
4.
Ejemplo.
1.
2.
pvq
2. ~p
~q
Conclusin: q o
Ejemplo:
(p q) (r s)
pr
\q s
Ejemplo
Si estudio aprendo y si duermo
descanso.
Estudi o dorm.
Luego Aprend o descans.
Absorcin (Abs)
pq
\p (q p)
Ejemplo
Si estudio aprendo
Estudio, luego aprendo y estudio
p q
v
v
f
f
v
f
f
f
v
f
v
f
v
v
v
v
v
f
v
f
Tambin puede analizarse como un argumento con un juicio conjuntivo como premisa, del cual
se puede concluir uno de sus trminos.
Representado el argumento en lgebra de proposiciones, tiene la siguiente forma simblica
1.
p q
Premisa
___________________________________
p Conclusin, Aplicando a 1 la ley S
C.
Tambin puede concluirse solamente q
Ejemplo:
Tengo una manzana y una pera
p: Tengo una Manzana
q: Tengo una Pera
Solucin:
La estructura del enunciado corresponde a una Tautologa.
p: Bibiana aprueba el periodo academico
q : Los hermanos se enojan
p q
Premisa 2:
p r
Conclusin:
( p v p ) (q v r)
Tabla de verdad
[ ( p q ) ( p r ) ] [( p v p ) ( q v r ) ]
Premisa 1:
p q
Premisa 2:
p r
Premisa 3: ( p v p ) ( q v r )
[(p
q) (~ q
r) (r
~q
s)
(p
q)
s]
(~ q
r)
(p
(~q
q ) (r
r)
s)
(p
q)
(~q
r)
(r
s)
(p
q ) (~q
r ) (r
s)
s
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
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
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
Es una contingencia
V
V
V
V
F
F
F
F
V
V
V
V
V
V
F
F
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
F
F
F
F
V
F
V
V
V
F
F
F
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
Premisa 3: (r
s)
___________________________
4. ~ q
MTT (1)
5. ~ q
s
SH (2), (3)
Al utilizar las leyes de inferencia llegamos a una indeterminacin, ya que entre las premisas
generadas (4) y (5) no es posible establecer una relacin coherente para llegar a la conclusin.
De este modo determinamos que el razonamiento no es vlido.
t : Ver tutoriales
Identificacin de las proposiciones simples:
Premisa 1:
p( q v r )
Premisa 2: s q
Premisa 3: t r
Premisa 4:
p t
Conclusin: q
Tabla de verdad
{[ ( p ( q v r ) ) ( s q ) ] [ ( t r ) ( p t ) ] } q
p( q r )
Premisa 2: s q
Premisa 3: t r
Premisa 4:
pt
Premisa 5: t
Premisa 6:
Premisa 7:
Sim de
Premisa 8: q V r
Premisa 9:
MPP de 7 y 1
Sim de 8
CONCLUSIONES
Bibliografa
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_a
nteriores/Modulo/2010_febrero_3_Modulo_de_Logica.pdf
http://es.slideshare.net/filosofico/mtodos-de-demostracin-en-matemtica
https://es.wikipedia.org/wiki/Contraejemplo
https://es.scribd.com/doc/148855221/29/Ejemplo-1-34-Demostracion-porcontraejemplo
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_22_leyes_
de_inferencia.html
https://tecdigital.tec.ac.cr/revistamatematica/cursoslinea/CALCULODIFERENCIAL/folletos/PracticaLogica.pdf
http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-p-qmodus.html