Elementos de Algebra

Prof. Patricia DETZEL

RESUMEN DE TÉCNICAS PARA HACER DEMOSTRACIONES

Para demostrar proposiciones de la forma H ⇒ T

Técnica de Cuándo usarla Qué Qué concluir Cómo hacerlo

demostración suponer
- como primer intento Trabaje progresivamente
Directo - cuando en H se tiene mas H T partiendo de H tratando de
información que en T obtener T

Contrarre- - cuando T contiene la palabra no Trabaje progresivamente

ciproco - cuando en T se tiene mas No T No H partiendo de ∼T tratando de
(Indirecto) información que en H obtener ∼H

Por reducción - cuando T contiene la palabra no Un absurdo o Partiendo de (H y ∼T) se

al absurdo - cuando en T se tiene mas H y No T una contradicción: obtiene un absurdo (proposic.
(Indirecto) información que en H p∧∼p Falsa) o una contradicción:
p∧∼p
Construcción Cuando T contiene el término Adivine, construya, busque
– ejemplo “existe”.. H Existe el objeto etc. el objeto que tiene cierta
deseado propiedad y muestre que
cumple con lo pedido.

Otros casos:

Cuándo usarla Qué suponer Qué concluir Cómo hacerlo

Trabaje progresivamente
H ⇒ (p ∨ q) - Cuando la Tesis tiene la H ∧∼p q partiendo de H ∧∼p para
forma de p ∨ q obtener q

Trabaje progresivamente
Otra forma H ∧∼q p partiendo de H ∧∼q para
obtener p

(p ∨ q ) ⇒ T - Cuando la hipótesis tiene Dos cosas: Hay que considerar dos

la forma de p ∨ q 1º) p T casos:
y partiendo de p se obtiene T
2º) q T y luego partiendo de q se
obtiene T

⇒ (r∧s)
(p ∨ q)⇒ -Cuando la hipótesis es una Dos cosas: Hay que considerar dos
disyunción y la tesis una 1º) p (r∧s) casos: Partiendo 1º de p se
conjunción y obtiene (r∧s) y luego
2º) q (r∧s) partiendo de q se obtiene
(r∧s)

p=q - La tesis es una igualdad 1º) p= … = … s Partiendo de p se obtiene S

2º) p= …= … s p=q y luego partiendo de q se
obtiene también s

Otra forma p= …= … q Partiendo de p se obtiene q