HERRAMIENTA DE LÓGICA COMPUTACIONAL

MÉTODOS DE DEMOSTRACIÓN Y CÁLCULO DE PREDICACIÓN

PROFESIONAL

ESTUDIANTE
KEYLER ESMIR MURILLO ARBOLEDA

POLITÉCNICO GRAN COLOMBIANO

INSTITUCIÓN UNIVERSITARIA
2021
 Descripción en Condiciones del
Nombre del método Ejemplo del método
palabras del método método
Este consiste en que
Una de las variables
si existe dos
constantes
equivalencias entre A⇒B
Demostración de La debe ser verdadera
dos expresiones B ⇒A
Implicación Mutua para aplicar
booleanas A y B (A⇒B) ∧ (B ⇒ A)
este método. (A →
corresponde a que
verdad) → verdad
(A → B) ∧ (B → A)
Demostrar el
siguiente teorema:
Para a, b números
reales, si a  0 ó b 
0 , entonces, b.a  0.
1. Supongamos que:
a0ób0
Hipótesis auxiliar 1.
2. Supongamos que:
a  0 Hipótesis
auxiliar 2 (2º nivel).
3.  0b.b.a Ley
uniforme del 1. Suponemos la
producto en 2. 4. b. hipótesis dada
Demostraciones
 00 Teorema en el correspondiente a
exhaustivas o
conjunto de los una disyunción. 2. A
por casos: para
números reales. 5. partir de cada una de
demostrar la
las proposiciones
proposición se b.a  0 Transitividad
que integran la
deben demostrar en la igualdad de 3 y
Demostración de La disyunción se
por separado cada 4. 6.     0 b.aa
Análisis de Caos obtiene una
una de las siguientes  0 Método
conclusión parcial
n implicaciones directo de 2 a 5. 7.
por el método
Están basadas en la Supongamos que: b
directo. 3. Se
equivalencia lógica  0 Hipótesis auxiliar
concluye finalmente
denominada 2. (2º nivel). 8.  la disyunción de las
exhaución .ab.a 0 Ley uniforme conclusiones
del producto en 7. parciales
9.. a  00 Teorema
en el conjunto de los
números reales. 10.
b.a  0 Transitividad
en la igualdad de 8 y
9. 11.     0 b. ab
 0 Método
directo de 7 a 10. 12
b.a  0 Regla de
inferencia Método
de casos de 1, 6 y 11.
13.  0    babóa
  0.0 Método
directo de 1 a12.
Si él hace los
Este método de
trabajos entonces
demostración por La condicional y su
aprueba el curso P =
contra positiva es un contra positiva son
El entrega los
Demostración método indirecto equivalentes en el
trabajos → ¬P No
Contra positiva que tiene como sentido de que una
entrega los trabajos
fundamente la es verdadera si y
Q = Aprueba el curso
equivalencia lógica. sólo si lo es la otra.
→ ¬ Q No aprueba el
(P→Q) ↔ (¬Q→¬P)
curso
Existe otra regla de razonamiento es
inferencia válido por este
interesante que dice método: ¬PP → QQ
así: ¬PP → FF ∴ PP Es ¬PP ∨ RR ¬QQ → RR
decir, si suponer ¬PP Se utiliza derivación
1. Suponer que las
te lleva a una formal: Pasos
premisas son
contradicción, Razones 1. ¬PP →
verdaderas y que la
entonces quien se QQ premisa 2. ¬PP ∨
conclusión es falsa.
cumple es PP. RR premisa 2 3. ¬
2. Buscar que se
Aplicando este (¬QQ → RR) premisa
produzca una
concepto para la 3 (se supone que la
contradicción. 3. Una
demostración de conclusión no es
vez ocurrida la
razonamientos con verdadera) 4. ¬QQ ∧
contradicción se
Demostración Por más de una premisa ¬RR Negación de la
concluye que el
Contradicción del tipo PP1, PP2,..., implicación en 3 5.
razonamiento es
PPNN ⇒ QQ, para ¬QQ Simplificación
válido, pues estaría
demostrar que es conjuntiva en 4 6.
probado que
válido se debe ¬RR Simplificación
suponer que las
probar que suponer conjuntiva en 4 7. PP
premisas son
la coexistencia de las MT con 1 y 5, y DN 8.
verdaderas y
premisas y de la ¬PP SD con 2 y 6 9.
simultáneamente la
negación de la FF Combinación
conclusión es falsa es
conclusión nos conjuntiva con 7 y 8
una contradicción
llevaría a una 10. ¬QQ → r Queda
contradicción. Esto probada la
es, se debe mostrar conclusión por el
que (PP1, PP2,..., Método de
PPNN) ∧ ¬QQ ⇒ FF Contradicción

https://www.ecotec.edu.ec/documentacion/investigaciones/docentes_y_directivos/articulos/
6078_TRECALDE_DOC_00100.pdf

https://repositorio.uniandes.edu.co/bitstream/handle/1992/22827/u271318.pdf?sequence=1

http://ciencias.uis.edu.co/conjuntos/doc/Logica,%20conjuntos%20y%20numeros%20-
%20Carlos%20Uzcategui.pdf