Está en la página 1de 12

METODOS DE DEMOSTRACIÓN Y CALCULO DE PREDICADOS

MÓDULO:
HERAMIENTAS DE LÓGICA COMPUTACIONAL

POLITECNICO GRANCOLOMBIANO
LINA MARCELA PEREZ MURCIA
Cod 1921022495

JUVENAL BENAVIDES LOZANO


Cod 1921021948

EDGARDO PAUL ALMANZA

Cod 1222010249
INTRODUCCION

Hoy en día, dada la cantidad de información, la complejidad de esta y el hecho


que podemos accederla y manipularla, se hace muy importante la necesidad de
reconocer cuan verdadera o falsa es. La verdad y la falsedad son tan antiguos
como el hombre mismo y poder determinar si es una verdad ha sido su tarea desde
su creación (pendiente por demostrar).
Es en este escenario es que se presenta este trabajo, el cual nos condujo a
investigar en distintos textos, cuáles son los métodos usados a través de la
historia, por estos hombres para descubrir si es una verdad o una simple falacia.
Métodos

Método Directo

Método de Contraproposición

Método de Demostración Trivial

Demostración por contradicción o de Reducción al absurdo.

Demostración por contrarrecíproca

Demostración por bicondicionales


Nombre del Método Descripción del Ejemplo del Método Condiciones del
Método Método
Método Directo Tiene como Si los puntos A, B, C y D Afirmaciones:
fundamento lógico la están sobre una recta de
regla de inferencia manera que B es el punto
clásica o esquema medio del segmento AC y
argumentativo valido C es el punto medio del
llamado Modus segmento B, D entonces
Ponens: PASO 1: El primer paso
está contenido en la Razones:
La Hipótesis P es proposición del teorema.
verdadera y la PASO 2: 1.Hipótesis o dato
Hipótesis implica la 2.Hipótesis o dato
P
conclusión Q. 3.Definición de punto
ASO 3: Hipótesis B es el
Para los métodos de medio
punto medio del segmento
demostración directos 4.Definición de punto
AC
se debe: medio
C es el punto medio del
1.Tomar las hipótesis
segmento BD 5. D 3 y 4 aplicando
como validas
2. A partir de pasos propiedad transitiva
lógicos y usando las Ejemplo 2:
leyes de inferencia PUNTO 4: Idéese el plan Se ha comprobado
llegar a la tesis. Se interpretará cada una que es una Tautología
de las proposiciones de
los datos como una
proposición sobre la
congruencia de
segmentos y se usará la
propiedad transitiva
EJEMPLO 2:
El producto de dos
números pares es par
1.Hipótesis: Dos números
son pares
2.Tesis: Su producto es
par
DEMOSTRACION
DIRECTA
A y B = pares
A=2C
B=2C
A.B(2C). (2D) =4CD
4CD=2(2CD)
Nombre del Método Descripción del Ejemplo del Método Condiciones del
Método Método
Método de Esta es la Ejemplo 1. Para el caso de la
Contraproposición demostración Si amanece entonces lluvia y el piso
indirecta donde habrá luz. mojado decimos:
realizamos algunos Naturalmente si A. Si hoy llueve,
ajustes lógicos a la amanece, implica que entonces el piso se
implicación: haya luz
moja

Hemos dicho que Q Entonces amanecer es B. Si el piso se moja,


es necesaria de P, condición suficiente no significa que
de aquí se deduce para que haya luz, sin llueva
que Q no es embargo, si hay luz, no
suficiente para P o, implica que amanezca C. El piso no se
dicho de otro modo porque existe la moja, por tanto, no
posibilidad que la está lloviendo
fuente de luz se fuente
Y se escribe así: artificial en este caso
Q no implica P y se
Esta condición sería escribe:
suficiente para
pero algo si es
afirmar
seguro porque podemos
decir que:
A. Si no hay luz,
entonces no ha
amanecido:

Si se afirma
B. También se afirma
, es
decir:
Nombre del Descripción del Método Ejemplo del Método Condiciones del
Método Método
Método de Si se tiene una Para todos los casos en
Demostración implicación y se Carmen estudia entonces que el valor de Q es
Trivial demuestra que el aprende True
consecuente es True,
entonces es una P estudia.
tautología. Q aprende.

Dem P=> Q P -> Q


P
Dem Q = True --------
Q MP
{Axioma de identidad}
Q= true

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


método
Demostración por Para demostrar que una Demostración del método
contradicción o de implicación es con el siguiente ejemplo. El absurdo está en
Reducción al verdadera, se debe partir suponer la negación de
absurdo. de que la tesis es falsa, Dem: [(p v q) ^ ~q]-> p la afirmación. Una
se llegando a una negación de la
contradicción con lo 1. ~p negar tesis negación da una
cual se supondría que la 2. (pvq)^~q hipótesis afirmación
{simplificación}
demostración que es
3. pvq simplificación 2
verdadera.
4. ~q simplificación 2
5. q MTP 3, 1

Absurdo en 4, 5,

Se puede concluir que


demostrando ~p es un
absurdo, entonces la
implicación es
verdadera.

Ej.: {si x>0, y>0; si x*y


= impar entonces x es
impar ^y es impar}
Entonces.
Negamos
X es par v y es par.
X=2n -> y(2n) = 2yn - >
par
Nombre del método Descripción Ejemplo del método Condiciones del
método
Análisis de casos o Basado en el teorema Método de la forma
Disyunción de casos. del mismo nombre en La última cifra de un de los casos de
la cual se tiene como numero natural al demostración.
equivalente el cuadrado es P v Q -> R = (P->Q)
separar la hipótesis 0,1,4,5,6,9. (P->R)
en varios casos y O
cada caso Numero par o impar A->(B^C) = (A->B)
demostrarlo por Caso 1 => par v(A->C)
separado. 02=0
22=4
42=16
62=36
82=64

Cumple.

Caso 2 => impar


12=1
32=9
52=25
72=49
92=81

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

Demostración por La demostración por Proposición Si 3x - 1 Proposición Si P


contrarrecíproca contrarrecíproca se es par, entonces x es entonces Q:
usa para demostrar, impar. Se debe demostrar
al igual que la Supongamos que x no que –Q es verdadera
demostración es impar. Entonces x y –P es verdadera.
directa, teoremas y es par.
proposiciones que Así, existe un número
tienen la forma entero a; tal que
condicional P x = 2a:
entonces Q: Esta Ahora,
forma de 3x - 1 = 3(2a) - 1
demostración se basa = 6a - 1 - 1 + 1
en el hecho de que P = 6a - 2 + 1
entonces Q es = 2(3a - 1) + 1
lógicamente a (-Q) = 2k + 1 (k = 3a -
entonces (-P); 1):

En consecuencia, 3x
- 1 es impar

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


método

Demostración por
bicondicionales Sabemos que una Proposición El entero x
es impar si y solo si x2
proposición
es impar.
bicondicional Demostración:
P si y solo si Q Primero
es lógicamente demostraremos que, si
equivalente a la x es impar, entonces x2
proposición es impar. Supongamos
(si P; entonces Q) y que x es impar.
(si Q; entonces P). Entonces, por
definición existe un
entero a; tal que x = 2a
+1

Ahora,
x2 = (2a + 1)2
= (2a + 1) (2a + 1)
= 4a2 + 4a + 1
= 2(2a2 + 2a) + 1

En consecuencia, x2 es
impar.
Recíprocamente, Proposición P si y solo
supongamos que x2 es si Q:
impar y veamos que x Demostración:
es impar. Para (Demuestre P entonces
demostrar Q usando una
esto usaremos una demostración directa,
demostración por por contrarrecíproco o
contrarrecíproco. por contradicción).
Supongamos que x no (Demuestre Q entonces
es impar. P usando una
Entonces x es par, y demostración directa,
por lo tanto existe un por contrarrecíproco o
entero a tal que por contradicción).
x = 2a:
As,
x2 = (2a)2
= 4a2
= 2(2a2):
En consecuencia, x2 es
par. Esto demuestra
que, si x2 es impar,
entonces x es impar
CONCLUSIÓN

En esta obra se tiene una exposición sintáctica de elementos


metamatemáticas enmarcadas en la contemporánea Teoría de la
demostración o también llamada Teoría de la prueba establecida en el
siglo XX como la magnífica culminación de un proceso mostrado en la
parte histórica de la obra. Para apreciar y descubrir la naturaleza y
poder de la matemática se ha mostrado en esta obra una selección
adecuada de demostraciones utilizando los esquemas o métodos de
demostración donde la mayoría fueron realizadas por el autor, pero
también se tiene bellísimas demostraciones matemáticas clásicas. No
solamente se construyeron las demostraciones con el rigor matemático
necesario por excelencia, sino también se da una relación explicita de
la conclusión obtenida con otros tópicos matemáticos que generalmente
son de un nivel superior.
REFERENCIAS

ciencias-basicas.com › Matemática › superior › Lógica Proposicional

Métodos De La Demostración Matemática - Ciencias Básicas

www.u-cursos.cl

Lógica de Predicados y Métodos de Demostración - U-Cursos

Metodos De Demostracion - Monografías Plus - Ejemplos de ...

www.monografias.com › docs. › Métodos-De-Demostración

También podría gustarte