1

Materia : Introducción al Pensamiento Matemático

Alumno : Rolando Ortiz Herbas

e-mail : maasher7@hotmail.com

Grupo: MT-MIPM-1901-B1-004

Matricula: ES1821014044

Maestra: Mat. Celia Araujo Monroy

Fecha: 01-FEB-2019

Unidad 2 Actividad 1 Conectivos lógicos

Carrera : Lic. en Matemáticas

Página 1|3
 2

a. Define con tus propias palabras lo que entiendes por MOSTRAR.

Mostrar un enunciado Q, consiste en describirlo, sin especificar como se lo obtiene o bajo que
condiciones es verdadero.
Puede ser una conjetura o suposición que no se ha logrado demostrar matemáticamente.

b. Escribe con tus propias palabras las definición de DEMOSTRACIÓN MATEMÁTICA.

Una demostración del enunciado Q, consiste en una sucesión de fórmulas que, o bien son axiomas,
o bien son teoremas, o se han obtenido de éstas mediante reglas de inferencias admisibles.
Esquemáticamente se puede escribir como :

𝑃1 ∧ 𝑃2 ∧ … … … ∧ 𝑃𝑛 → 𝑄
𝑃𝑖 es o bien un axioma , o bien son teoremas previamente demostrados o bien se han obtenido
mediante reglas de inferencia (Modus Tollens, Modus Ponens, Ley de Morgan y otros)

Esta secuencia nos garantiza que si 𝑃1 ∧ 𝑃2 ∧ … … … ∧ 𝑃𝑛 es verdadera entonces, 𝑄

también lo es.

c. Explica las diferencias entre MOSTRAR y DEMOSTRAR en el sentido matemático.

Mostrar es un procedimiento que no tiene algún rigor, puede ser algo intuitivo, algo no demostrado o
puede ser una conjetura.
Demostrar es obtener una conclusión verdadera a partir de premisas verdaderas, usando reglas de
inferencia validas.

d. Determina por qué en matemáticas no basta con mostrar un enunciado.

En Matemáticas hay que demostrar , porque al ser una ciencia exacta, todos los enunciados
verdaderos hay que especificarlos mediante un método de demostración.

Método progresivo – regresivo:

Página 2|3
 3

es un método de demostración que, en la mayoría de las ocasiones, se presenta combinado con

otros métodos distintos. La característica fundamental de éste es que se puede partir de las hipótesis
y llegar directamente a la conclusión.

Método de demostración directa:

Este método se utiliza cuando tienes un enunciado que consta de un conjunto de hipótesis que se
consideran verdaderas y un conjunto de conclusiones cuyo valor de verdad debe ser demostrado.
Método por reducción al absurdo:
Este método se utiliza frecuentemente por muchos matemáticos, debido a la facilidad con la que
permite realizar una demostración
Método por inducción matemática:
En el principio de inducción matemática, tienes que si P(1) es verdad, entonces P(2) es verdad al
aplicar la segunda condición que afirma que si P(1) es verdad, también lo es P(1 + 1) = P(2).
Método de demostración por contraejemplo:
Este método se utiliza para demostrar que un argumento que piensas que no es válido realmente no
es válido. Es decir, no se utiliza para demostrar la validez si no para demostrar la falsedad.
Método de demostración por casos:
Este método consiste en probar la veracidad de la implicación p→q en el que la proposición original
p puede tomar diferentes posibilidades.
Método de demostración por contraposición:
El método de demostración por contraposición lo utilizas cuando quieres demostrar una implicación
lógica. Éste consiste en negar la hipótesis y la conclusión cambiándolas de lugar en la implicación
lógica.

Bibliografía :

UNADM, 2019, Texto Métodos de demostración, Introducción al pensamiento matemático,2019,

UNAD México.
Fernandez M , Villegas L M. (2014). Lógica matemática I. 2019, UAM .
Fernandez M , Villegas L M. (2011). Lógica matemática II. 2019, UAM .

Página 3|3