ENTREGA 1

MÉTODOS DE DEMOSTRACIÓN EN EL SISTEMA ECUACIONAL

POLITECNICO GRAN COLOMBIANO

MÓDULO LOGICA COMPUTACIONAL
INGENIERIA DE SOFTWARE
2020
 Tabla de Contenido

1. Métodos de demostración en el sistema ecuacional....................................................1

Bibliografía..........................................................................................................................9
 1

ENTREGA 1
LOGICA COMPUTACIONAL

1. Métodos de demostración en el sistema ecuacional.

En la semana 4 debe presentar en un archivo PDF un resumen sobre los diferentes

métodos de demostración en el sistema ecuacional. Para ello deberá completar la

siguiente tabla:

Nombre del método Descripción en Ejemplo del método Condiciones del

palabras del método método

En la que:

• Nombre del método: corresponde al nombre del esquema de demostración.

• Descripción en palabras del método: indicar en palabras cómo funciona el esquema

de demostración.

• Ejemplo del método: presentar un teorema del cálculo proposicional y la

comprobación del mismo empleando el esquema de demostración descrito en la columna

anterior. Este ejemplo no puede ser alguno de los desarrollados en la Lectura fundamental

del Módulo.

• Condiciones del método: resaltar en esta columna, si aplica, las condiciones necesarias

para usar el esquema de demostración.

 2
NOMBRE DESCRIPCIÓN EN EJEMPLO DEL MÉTODO CONDICIONES DEL
DEL PALABRAS DEL MÉTODO MÉTODO
MÉTODO
MÉTODO DIRECTO DE DEMOSTRACIÓN
En el método de demostración Demuestre que si las funciones f(x) y g(x) El método de
directa se tiene como hipótesis son derivables en x = b entonces la función demostración directo
verdaderas las proposiciones H1 f(x)g(x) es derivable en x = b tiene como fundamento
y H2 y... y Hn procediendo a la lógico la regla de
MÉTODO deducción de que la conclusión Demostración: inferencia clásica o
DIRECTO Q es verdadera a través de un Se identifican las hipótesis y la conclusión: esquema argumentativo
DE proceso lógico deductivo, es H1: f(x) es derivable en x = b H2: g(x) es válido llamado: Modus
DEMOSTRA decir como una cadena de derivable en x = b Ponens [ P∧ (P→Q) ]
CIÓN implicaciones lógicas. Q: f(x)g(x) es derivable en x = b →Q significa: si la
El esquema de demostración en hipótesis P es verdadera y
Un inicio correcto es considerar la derivada del la hipótesis P implica la
el método directo es de la forma:
producto f(x).g(x) en x = b, conclusión Q entonces la
Si H1 y H2 y ... y Hn entonces Q
por definición: conclusión Q es verdadera.
En forma simbólica: H1∧
H2∧...∧ Hn→ Q (1)
Reescribiendo el cociente expresado
anteriormente de tal manera que sean aplicables
las hipótesis H1 y H2

(2)
Se suma y resta un término adecuado al
numerador en (1) que permita extraer factor
común para que aparezcan los numeradores de
 3
NOMBRE DESCRIPCIÓN EN EJEMPLO DEL MÉTODO CONDICIONES DEL
DEL PALABRAS DEL MÉTODO MÉTODO
MÉTODO
(2), seleccionando el término: f(x)g(b), se tiene:

Sacando factor común

Dividiendo ambos sumandos en el numerador

por el denominador

Evaluando el limite de una suma, que es la

suma de los limites

Evaluando finalmente tenemos

Quedando así demostrado que si las funciones

f(x) y g(x) son derivables en x = b
entonces la función f(x)g(x) es derivable en x
=b
 4
NOMBRE DESCRIPCIÓN EN EJEMPLO DEL MÉTODO CONDICIONES DEL
DEL PALABRAS DEL MÉTODO MÉTODO
MÉTODO
MÉTODOS DE DEMOSTRACIÓN INDIRECTOS
Se parte por suponer como Demuestre que para todo entero n, si n2 es par Cumplir el principio de
hipotética la veracidad o entonces n es par no contradicción ¬(p∧¬q)
DEMOSTRA
falsedad de la tesis de la que significa que una
CION POR Seleccionando un entero arbitrario n e
proposición a demostrar y, proposición no es
REDUCCIÓ identificando hipótesis y conclusión se tiene:
mediante una concatenación de verdadera y falsa
N AL
inferencias lógicas válidas, se
ABSURDO Hipótesis H1: n2 es par Cumplir el principio del
pretende llegar a una
(TAMBIÉN Conclusión: Q: n es par tercero excluido (p∨¬p)
contradicción lógica, un
CONOCIDO Negación de la conclusión ¬Q: n es impar que significa que una
absurdo. De llegar a una
COMO proposición es verdadera
contradicción, se concluye que
PRUEBA Ahora, el conjunto de hipótesis es H1 y ¬Q: n2 o falsa.
la hipótesis de partida (que se
POR es par y n es impar.
había supuesto verdadera al
CONTRADI
principio) ha de ser falsa (o
CCIÓN) Generación de una contradicción:
viceversa). Para tal fin, consideremos la suma de n2 y n en
Para demostrar la invalidez de el siguiente proceso lógico deductivo:
una proposición, se supone
como punto de partida que la
proposición es cierta. Si la
derivación final es una
contradicción, se concluye que
la proposición original es falsa y
el argumento es inválido.
El fundamento lógico del
método de reducción al
absurdo es la equivalencia

NOMBRE DESCRIPCIÓN EN
DEL PALABRAS DEL MÉTODO
MÉTODO
lógica llamada precisamente
reducción al absurdo:
(P→Q)↔[(P ∧¬Q)→C] donde P
es de la forma H1∧ H2∧ ... ∧ Hn
∧¬Q y C denota una
contradicción
DEMOSTRA Se forma negando ambos
CIÓN POR términos e invirtiendo la
CONTRAPO dirección de la inferencia.
SITIVA 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 contrapositiva
son lógicamente equivalentes: si
la afirmación es cierta, entonces
su contrapositivo es cierto, y
viceversa.
Tiene como fundamento la
equivalencia lógica
(P→Q)↔(¬Q→¬P)
5
EJEMPLO DEL MÉTODO CONDICIONES DEL
MÉTODO
Se ha obtenido una evidente contradicción
en la proposición 8) por lo tanto la
negación de Q no es verdadera: n es impar y se
acepta la veracidad de Q: n es par
Demuestre que, para todo entero n, si n2 es par N/A
entonces n es par.
Se observa que la implicación: si n2 es par
entonces n es par, con hipótesis P: n2 es
par y conclusión Q: n es par, es equivalente a
la implicación: si n es impar entonces n2 es
impar con hipótesis ¬Q: n es impar, y
conclusión ¬P: n2 es impar.
Recordando que el inicio de la demostración
por contrapositiva es la hipótesis ¬Q: n es
impar, se tiene el siguiente proceso lógico
deductivo formal
 6
NOMBRE DESCRIPCIÓN EN EJEMPLO DEL MÉTODO CONDICIONES DEL
DEL PALABRAS DEL MÉTODO MÉTODO
MÉTODO

Hemos obtenido como conclusión ¬P: n2

es impar, quedando de esta forma demostrado.

DEMOSTRA El principio de inducción Se probará que la siguiente declaración P (n), N/A

CIÓN POR matemática es utilizado para que se supone válida para todos los números
EL demostrar la veracidad de naturales n.
PRINCIPIO proposiciones p(n) donde n es un
DE número natural mayor que un
INDUCCIÓN valor inicial n0, el principio de
MATEMÁTI inducción matemática consiste
CA en: P (n) da una fórmula para la suma de los
i) inicialmente se verifica que la números naturales menores o igual a n. La
proposición p(n) es verdadera prueba de que P (n) es verdadera para todos los
para n=n0, es decir p (n0) es números naturales procede como sigue.
verdadera. Se muestra que es válida para n = 1.
ii) Se enuncia la hipótesis de

NOMBRE DESCRIPCIÓN EN
DEL PALABRAS DEL MÉTODO
MÉTODO
inducción: p (k) es verdadera
para el número natural k.
iii) Usando la hipótesis de
inducción enunciada en (ii) y
otras proposiciones verdaderas
demostradas anteriormente se
demuestra que p (k+1) es
verdadera.
iv) La conclusión consiste en
que p(n) es verdadera para todo
n≥n0
7
EJEMPLO DEL MÉTODO CONDICIONES DEL
MÉTODO
con P(1) se tiene:
En el lado izquierdo de la ecuación, el único
término es 1, entonces su valor es 1.
mientras que el término derecho, 1·(1 + 1)/2 =
1.
Ambos lados son iguales, n = 1. Entonces P(1)
es verdadera.
Paso inductivo: Mostrar que si P(k) es
verdadera, entonces P(k + 1) es verdadera.
Como sigue:
Se asume que P(k) es verdadera (para un valor
no específico de k). Se debe entonces mostrar
que P(k + 1) es verdadera:
usando la hipótesis de inducción P(k) es
verdadera, el término izquierdo se puede
reescribir:
 8
NOMBRE DESCRIPCIÓN EN EJEMPLO DEL MÉTODO CONDICIONES DEL
DEL PALABRAS DEL MÉTODO MÉTODO
MÉTODO

Desarrollando

Mostrando de hecho que P(k + 1) es verdadera.

 9

Bibliografía

Morales Santacruz, C. (2008). Los métodos de demostración en matemática. Recuperado

el 18 de septiembre de 2020 de: http://biblioteca.usac.edu.gt/tesis/07/07_1914.pdf

UNAD México. Introducción a la lógica matemática Recuperado el 17 de septiembre de

2020 de https://www.unadmexico.mx/sitios/aplicaciones-
107/LITE_36/Un_160_IntroduccionALaLogicaMatematica/escenas/4_Cierre_1.html#