Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
INTRODUCCION
En la antigua Grecia, desde la poca del sabio Tales, 600 aos a de C., se empez a
perfeccionar un discurso, como una sucesin de proposiciones obtenidas mediante
razonamiento deductivo. El punto culminante de este proceso fue la aparicin de la
obra Los Elementos, 300 aos a. de C. escrita por Euclides. Euclides con su obra Los
Elementos, dio a la geometra un carcter deductivo, estableciendo 5 postulados, o
sea proposiciones que se admiten sin demostracin.
Los Elementos, considerado como el primer sistema deductivo, ha marcado una gran
influencia en el desarrollo de las matemticas. Su quinto postulado, denominado,
postulado de la paralelas, dividi a los matemticos de la poca, pues muchos se
negaron a aceptarlo como tal e iniciaron la tarea de demostrarlo. Este cometido no
tuvo xito, pero la discusin se prolong por ms de 20 siglos. Qued satisfecha en el
1
siglo XIX, con el descubrimiento de las geometras no euclidianas, que dejaron
inclume el V postulado de Euclides.
Los teoremas: Todos los enunciados que se pueden deducir de los postulados
se denomina teoremas del discurso. Como comnmente se dice, un teorema es
una verdad que necesita ser demostrada.
2
Independencia: Un conjunto de postulados se dice que es independiente si
ninguno de los postulados puede deducirse de los otros. El quinto de los
postulados de Euclides cre una gran polmica al considerar los matemticos de
la poca que no era independiente y era posible deducirlo de los otros
postulados. Esta pretendida deduccin no fue lograda.
Trminos indefinido s
Definicion es
p discurso demostrativo q Conclusin
Axiomas
Otros teoremas demostrados
Hiptesis Tesis
3
han elegido. Una proposicin verdadera en la geometra euclidiana, puede ser falsa en
una de las geometras no euclidianas.
Algunos elementos de lgica
Antes de continuar con los mtodos de demostracin, se introducirn algunos
elementos de la lgica. Se trata de dar algunas nociones de los fundamentos de este
importante, pues el clculo proposicional es un sistema deductivo, y su estudio a
profundidad no se agota en un semestre.
Una proposicin es una expresin oracin o frase que establece un juicio completo y
puede ser verdadera o falsa.
Ej 1: Si el tringulo ABC tiene dos lados iguales es issceles.
Ej.2: Al cuerpo celeste que gira alrededor de un planeta se le denomina satlite.
A la lgica le compete establecer bajo qu condiciones una proposicin puede ser
considerada como una conclusin derivada de otras proposiciones, llamadas premisas.
Las premisas pueden ser axiomas o postulados, nociones no definidas, definiciones o
teoremas ya demostrados, en este caso del clculo proposicional.
Para construir el Clculo Proposicional se necesitan los siguientes elementos:
Con los signos lgicos y V, se pueden construir los dems smbolos de la lgica,
lo que podemos observar en las siguientes equivalencias o definiciones:
o p p
o (p q) ( p q)
o (p q) ( p q)
o p q p q q p
Si p es una proposicin enunciado p es la negacin de dicha proposicin.
Otros signos:
Si p entonces q.
P es necesaria para q
q solo si p.
4
La proposicin p q puede leerse de las siguientes formas:
p equivale a q
P si y solo si q.
Ejemplo:
p:El ABC es issceles. q: En el ABC, AB igual a AC.
De *1 y *2 pq.
La condicin el ABC es issceles es necesaria y suficiente para que AB igual a AC.
6
vii) Regla de la Simplificacin
Si P Q se cumple, entonces P se cumple, tambin Q se cumple.
viii) Regla del Contra recproco
(P Q) ( Q P).
g) Q g) ) Modus Ponen e y f.
i) R i) Modus Ponen g y h.
j) ( R R ) j) Conjuncin de e) e i).
8
k) Una contradiccin, luego T es una falsedad.
.Luego por la regla de inferencia del contrarreciproco, la cual nos garantiza que
H T es equivalente a T H , podemos concluir que la implicacin H T ha
sido demostrada.
Para refutar una proposicin de tipo universal basta presentar un contraejemplo sea
un caso en el que no se cumple. Por ejemplo la proposicin el cuadrado de un
nmero real es siempre mayor que el nmero. Se puede refutar mediante el siguiente
contraejemplo:
0 , 0 2 0.
Ejemplos y ejercicios:
1) Ejemplo 1:
a) Si Juan estudia entonces ganar el ao pq
Juan estudia p
__________________________________________________________________
9
Conclusin: El astro no tiene luz propia p
2) Utilice las reglas de inferencia para obtener una deduccin lgica de las siguientes
proposiciones:
p p r qr
pvq r p r
a) pvq b) _________ c) _________
____________
p q r q p s t
r t r
p r
d) _________ d) __________ e) _________
3) Utilice las reglas de inferencia para obtener una deduccin lgica de la proposicin
que se indica, a partir de las proposiciones dadas:
Deducir t Deducir c
1) r t 1)a b d
2) s r 2) b d c
a) 3) s b) 3) a
4) ? 4) ?
5) ? 5) ?
10