CLASE 2- PROPOSICIONES CONDICIONALES

DETERMINACION DE HIPOTESIS Y TESIS

Definición 1.

Una proposicion es una palabra tomada del lenguaje corriente, que significa: expresion con sentido completo,
a estas expresiones se les asigna un valor de verdad, que puede ser verdadero o falso.

Existen triángulos isósceles que no son equiláteros

Es costumbre emplear las letras p, q, r, s como sımbolos para designar proposiciones

Un teorema es un enunciado de tipo P → Q

donde P y Q son enunciados o proposiciones verdaderas entonces el enunciado P → Q es verdadero.

El enunciado P se llama hipotesis del teorema y el enunciado Q se llama conclusion del teorema.

Existen diversos tipos de proposiciones, las llamadas, simples o tambien abiertas y o cerradas, las compuestas o
diatomicas, estas últimas se forman cuando se unen proposiciones simples o compuestas con otras
proposiciones simples o compuestas por medio de los conectores o operadores logicos.

El valor de verdad de una proposicion depende de el valor de verdad de cada proposicion y del
conector que las une. Si toda la tabla de verdad del enunciado es verdadero se le llama una TAUTOLOGIA, en
caso contrario se le dice una CONTRADICCION .

TAREA Del texto de Introduccion a la logica matematica de Galicia Arrambide, solucionar TODOS los ejercicios
de las paginas 21-22, 25-26,32-33, 37-38.

DEMOSTRACION DE UN TEOREMA

Una demostración de un teorema es una cadena finita de implicaciones que tiene como termino inicial la hipotesis
y como termino final la conclusion.

NOTA: Cuando un enunciado matematico no se ha demostrado, pero existen ciertas evidencias que inducen a
creer que es verdadero, se dice que dicho enunciado es una conjetura.

Algunas de las mas famosas conjeturas a nivel mundial son la de Goldbach , Riemman y la de Fermat que se
encuentra en la direccion http://www.youtube.com/watch?v=hpPUyZg9M8U, unas ya han sido demostradas y
otras que se encuentran en su proceso de demostracion, de igual forma en geometria se encuentran problemas
famosos como es de Gauss que se encuentra en la direccion electronica http://www.youtube.com/watch?
v=mLzAn6Bclhw&feature=related

DEMOSTRACION DIRECTA:
Una demostración directa de la forma P → Q se efectua formando una serie de enunciados verdaderos
P^t → U
U → V
V→ W
...
 Z → Q

Donde t es un teorema o un axioma de la demostracion entonces se puede concluir que

P^t →Q
es un enunciado verdadero.

Tambien una hipotesis puede ser de la forma P = (P1 ^ P2 . . . Pn) verdadera, y Q es verdadera.

EJEMPLO 1: si n es un número impar entonces n² es un numero impar.

Demostracion:

EJEMPLO 2: la ecuacion cuadratica ax² + bx + c = 0 tiene solucion

x = −b ± √ ( b² − 4ac)

Demostracion: 2a

DEMOSTRACIÓN POR CONTRADICCIÓN:

Tambien llamada demostracion por reduccion al absurdo o demostracion indirecta, y se define de la siguiente
forma:
Si B es una proposicion para demostrar que es verdadera, por reducción al absurdo se supone que inicialmente
que B es falso, es decir (⌐ B)es verdadero, y se forma una cadena de enunciados de la forma
⌐B ^ t → U
U→V
V→W
...
Z→⌐R

Donde t es un teorema o axioma de la teoría y ⌐ R es un enunciado contradictorio, es decir R y ⌐R son

enunciados verdaderos.

Si el enunciado B es de la forma P → Q y queremos demostrar que B es verdadero utilizando demostración por

contradicción, podemos inicialmente suponer que la hipótesis P es verdadera y la conclusión Q es falsa,
entonces P → Q es falso si se llega a un enunciado contradictorio, entonces P → Q es verdadero.

En esta clase de demostraciones su lógica implícita se fundamenta en las reglas de inferencia lógica y en las
tablas de verdad de la lógica proposicional.

EJERCICIOS

Consultar 10 diferentes reglas de inferencia lógica y efectuar dos ejemplos de demostración para cada una de las
reglas, algunas de las reglas son: ponendo pones, tollendo tollens, etc.
Construir las tablas de verdad para las variantes del condicional y dar dos ejemplos de cada una de ellas, las
variantes del condicional son la recíproca, la contra recíproca, etc.
EJEMPLO 3: Por reducción al absurdo o por contradicción.

Dadas dos rectas paralelas r1 y r2 cortadas por una secante S y un par de ángulos α y β alternos internos
congruentes, entonces las rectas son paralelas.

Demostración:

DEMOSTRACIÓN POR INDUCCIÓN MATEMÁTICA:

El principio de inducción matemática se fundamenta en la demostración sistemática de una serie de pasos sobre
el conjunto de los números naturales N

1.) Si el conjunto de los números naturales esta dado por N = {1, 2, 3, ....n},
Se verifica primero que P1, P2, ..., Pn , para todo n Є N es verdadero, es decir

P1 es verdadero, P2 es verdadero, Pn es verdadero.

Pk+1 es verdadero siempre Pk lo sea entonces Pn es verdadero para cualquier n natural.

EJEMPLO 4:
Comprobar por inducción matemática que se cumplen los siguientes enunciados:

1 + 2 + 3 + ... + n = n(n+1)
2
Demostración:

Comprobemos que P1 es verdadera

P1 = 1(1+1) = 1 → P1 es verdadera
2
P2 = 2(2+1) = 3 → P2 es verdadera
2
P3 = 3(3+1) = 6 → P3 es verdadera
2
Luego por principio de induccion Pk es verdadera entonces Pk+1 lo será
Si 1 + 2 + 3 + ... + k = k (k + 1) , sumando k + 1 a ambos lados
2
1 + 2 + 3 + ... + k + (k + 1) = k (k + 1) + k + 1
2
k2 + k + 2k + 2 = k2 + 3k + 2
2 2

(k + 1)(k + 2) = (k + 1)[(k + 1) + 1]
2 2

Ejercicios:

Demostrar por inducción matemática los siguientes ejercicios:

1) 1 + 3 + 5... + 2n − 1 = n²
2) 1² + 2² + 3² ... + n² = n (n + 1) (2n + 1)
6
3) 1³ + 2³ + 3³ … + n³ = n² (n + 1)²
4