Métodos de demostración y cálculo de predicados

PROFESOR:
Olarte John,

INTEGRANTES DEL GRUPO:

Brandon David Estrada González

INSTITUCIÓN UNIVERSITARIA POLITÉCNICO GRANCOLOMBIANO

FACULTAD DE INGENIERÍA, DISEÑO E INNOVACIÓN
INGENIERÍA DE SOFTWARE
Nombre del método Descripción en palabras Ejemplo del método Condiciones del
del método método

Asumir el El método consiste en en Ejemplo: (X → Y) Se demuestra que la

antecedente la negación de las ¬X ≡ true hipótesis es
expresiones para la ¬Y ≡ true verdadera en ambos
demostración de que la casos
hipótesis es verdadera en p→q
ambos casos
donde p es igual = el
día de hoy

donde q es igual =
va a llover

demostración por El método consiste en Ejemplo: A≡B Se demuestra que la

contradicción que una expresión es
contraria a la otra
dependiendo de la otra
expresión
Implicación mutua El método consiste en un
operador que funciona
sobre dos valores de
verdad, típicamente los
valores de verdad de dos
proposiciones,
devolviendo el valor de
verdad verdadero cuando
ambas proposiciones
tienen el mismo valor de
verdad, y falso cuando
sus valores de verdad
diferente.
contra positiva El método consiste en
que si una expresión es
falsa la otra también
B es falsa solo si A hipótesis es falsa en
también es falsa ambos casos solo si
¬A≡¬B la expresión es igual
A B A→B Se demuestra que la
V V V hipótesis es
V F F equivalente a la
F V F doble implicación es
F F V el doble contenido o
igualdad de
Ejemplo: conjuntos.
 
Ejemplo : si los lados si el triángulo no es
son congruentes el equilátero, entonces
triángulo es los tres lados no son
equilátero congruentes

¬q→¬p