NOMBRE

LAURA DANIELA TIRADO OSORIO

TUTOR
FABIO OSSA

CURSO
PENSAMIENTO LOGICO Y MATEMATICO

GRUPO
200611_99

7 DE NOVIEMBRE DE 2015
 1. MTODOS DE DEMOSTRACION

Demostracin: Es el razonamiento finito donde cada paso est justificado por los
pasos anteriores, reglas de inferencia y teoremas ya demostrados; es decir, son
algunos pasos que se realizan para llegar de una proposicin a otra.
Teoremas: Son las proposiciones a demostrar las cuales se componen de hiptesis y
tesis las cuales se enlazan por una implicacin o una equivalencia, donde entonces se
tendran dos teoremas.
Ejemplo:

Hiptesis
X ES PAR

3X ES PAR
Tesis

Doble implicacin
Un tringulo es equiltero si y solo si es equingulo.

Un tringulo es equiltero si es equingulo

Hiptesis Tesis

Un tringulo es equingulo si es equiltero

Hiptesis Tesis
 2. METODO DIRECTO
Se tiene como verdaderas las proposiciones P1, P2,Pn, procediendo a la deduccin
de que la conclusin Q es verdadera a travs de un proceso lgico deductivo, es decir
como una cadena de implicaciones lgicas.
Este tiene como fundamento lgico la regla de inferencia Modus Ponens
1. Debemos tomar todas la hiptesis como validad
2. A partir de pasos lgicos y usando las leyes de inferencia, llegar a la tesis

Ejemplos.

()
Implicacin Implicacin
pp(pq) p(pq)p
Pasos Mtodo Pasos Mtodo
1 p Hiptesis p(pq) Hiptesis
2 p(pq) Adicin (pp)(pq) Distribucin
3 p(pq) Idempotencia
4 p Simplificacin
TAUTOLOGIA TAUTOLOGIA

Por medio de la deduccin y la aplicacin de las propiedades y leyes de inferencia se

llega a la tesis comprobando que es verdad.
El producto de dos nmeros pares es par.
Hiptesis: Dos nmeros son pares
Tesis: dos nmeros son pares.
Demostracin: a y b pares a=2c b=2d
. = (2). (2) = 4 = 2( 2)
Lo cual nos lleva a concluir que es verdad.
REFERENCIAS
Web conference,
https://onedrive.live.com/view.aspx?resid=A842708EB82B42A3!1096&ithint=file
%2cpdf&app=WordPdf&authkey=!ABoEDvBhfqSuWvs
Gua trabajo 3,
http://campus03.unad.edu.co/ecbti02/pluginfile.php/25516/mod_forum/intro/d.%2
0200611%20Trabajo%20Colaborativo%20Tres%20%2016-02%202015.pdf
Mtodo directo, http://es.slideshare.net/filosofico/mtodos-de-demostracin-en-
matemtica