METODOS DE DEMOSTRACION EN EL SISTEMA ECUACIONAL

ENTREGA ESCENARIO 4

Integrantes:

SANTIAGO MUÑOZ DUQUE

CODIGO: 1921022754
CARLOS NICOLAS RODRIGUEZ RESTREPO
CODIGO: 1921020975
 HERRAMIENTAS LOGICA COMPUTACIONAL
POLITECNICO GRAN COLOMBIANO
BOGOTA 07.04.2020

Contenido
INTRODUCCION ................................................................................................................... 3
METODOS DE DEMOSTRACION ...................................................................................... 4
REFERENCIAS ....................................................................................................................... 5
 INTRODUCCION

En la semana 4 debe presentar en un archivo PDF un resumen sobre los diferentes métodos
de demostración en el sistema ecuación. Para ello deberá completar la siguiente tabla:

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

palabras del método Método Método

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.
 METODOS DE DEMOSTRACION

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

Para demostrar P Q adiciona al P v (P ∧ Q) P Las variables del método siempre

sistema como axiomas las partes del p v (p ∧ q) hipótesis deben ser constantes, no pueden
Asumiendo el antecedente (P) que deben ser (p v q) ∧ (p v q) ser reemplazadas por otras.
antecedente conjunciones, con ese nuevo sistema Distribución
temporal demostramos lo que esta p ∧ (p v q)
después del símbolo implicación. p simplificación
¬Q = No soy chofer
Este método consiste en demostrar la ¬p= No soy ayudante de
Demostración por negación de un teorema, con lo que si P chofer Un elemento Q no puede ser P, ni
contradicción es un teorema entonces debe ser ¬P una R=soy carnicero P puede ser Q.
contradicción. ¬Q
¬P----Q
R----¬ P ¬R
R
Este consiste en que si existe dos A⇒B Una de las variables constantes de
Implicación mutua equivalencias entre dos expresiones B ⇒A debe ser verdadera para aplicar
booleanas A y B corresponde a que (A⇒B) ∧ (B ⇒ A) este método. (A → true) → true
(A → B) ∧ (B → A)
Demostrar que todo número
Este método se utiliza para probar se que es un cubo perfecto
divide en un número finito de casos, y tiene que ser un múltiplo de Probas que los casos son
cada caso es demostrado por separado. 9, un múltiplo de 9 más 1 o Exhaustivos.
un múltiplo de 9 menos 1.
Análisis de caso También se le conoce como Probar que cada instancia de la
Si n = 3p, entonces n3 = proposición coincide con las
• Demostración exhaustiva 27p3, que es múltiplo de 9. proposiciones
• Demostración Por
Agotamiento Nota: Puede tener 2 o tres Demostrar cada uno de los casos
• Método de fuerza Bruta casos hasta miles.

Si ella entrega la tarea

entonces aprueba el curso

P = Ella entrega la tarea →

Este método de demostración por
Contrapositiva contra positiva es un método indirecto
que tiene como fundamente la
equivalencia lógica.
(P→Q) ↔ (¬Q→¬P)
¬P No entrega la tarea
Q = Aprueba el curso → ¬
Q No aprueba el curso
Contrapositiva:
= (¬ Q → ¬ P)
La condicional y su contra
positiva son equivalentes en el
sentido de que una es verdadera si
y sólo si lo es la otra.

Si ella no aprueba el
curso, entonces no entrego
la tarea.
 REFERENCIAS

• http://www.sinewton.org/numeros/numeros/87/Articulos_01.pdf
• https://es.wikipedia.org/wiki/Método_de_casos
• https://cienciasbasicas.com/matematica/superior/logicaproposicional/metodos-de-la-
demostracion-matematica/
• http://scielo.sld.cu/scielo.php?script=sci_arttext&pid=S086421412010000100010