TRABAJO COLABORATIVO TRES

PARTE INDIVIDUAL

PENSAMIENTO LÓGICO Y MATEMÁTICO

PRESENTADO POR:
JUAN DIEGO MESA RAMIREZ
GRUPO 200611_527

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

ADRIAN REINALDO VALENCIA

TUTOR

SOGAMOSO, 9 DE MAYO DE 2016

PRIMER APORTE INDIVIDUAL
Demostración por Contraposición.
En lógica, la contraposición de una declaración condicional se forma negando ambos
términos e invirtiendo la dirección de la inferencia. Explícitamente, la contraposición de
la declaración "si A, entonces B" es "si no es B, entonces no A." Una declaración y su
contra positiva son lógicamente equivalentes: si la afirmación es cierta, entonces su
contra positivo es cierto, y viceversa.
Cualquier demostración por contraposición también puede formularse trivialmente en
términos de una demostración por contradicción: Para demostrar la proposición
consideramos lo contrario, Puesto que tenemos
una prueba de que , tenemos lo que llega a la
contradicción que se pretende. Así que demostración por contraposición es en cierto
sentido "al menos tan difícil de formular" como demostración por contradicción.

SEGUNDO APORTE INDIVIDUAL

Silogismo hipotético.
También se puede entender que el argumento que se usa en su estructura no es
siempre valido. Para determinar si es silogismo hipotético se resalta que la primera
parte de la conclusión es el antecedente de la primera premisa y la segunda parte de la
conclusión es el consecuente de la segunda premisa.
De forma lógica
1. p -> q
2. q ->r
3. p ->r
4.
Ejemplo.
1. Todos los hombres son mamíferos.
2. Todos los mamíferos son animales.
Conclusión: Todos los hombres son animales.
Silogismo disyuntivo.
Esta ley se compone cuando se caracteriza cuando la primera premisa es a separada
por “o” y la segunda premisa es la negación del antecedente o del consecuente de la
primera premisa, y la conclusión es la afirmación de la primera premisa del antecedente
o del consecuente.
De forma lógica
1. p v q o pvq
2. ~p o ~q
Conclusión: q o p
Ejemplo:

1. Llueve o hace sol

2. No llueve.
Conclusión: hace sol.
 BIBLIOGRAFIA

REFERENCIAS
• Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press.
• Hamilton, A. G. (1981). Lógica para matemáticos. Paraningo
• Kenneth H. Rosen: Discrete Mathematics and its Applications,5.ª edición, p. 58.
• 2006. Pascual Julián. Apuntes de Lógica. Universidad de castilla La Mancha.
Recuperado de http://titan.inf-cr.uclm.es/www/pjulian/teaching/sl_apLO.pdf