NOMBRE DEL
METODO
DESCRIPCIÒN EN
PALABRAS DEL METODO
EJEMPLO DEL
MÈTODO
CONDICIONES DEL
METODO
Demostracione
s por
contradicción
Este método busca
identificar la premisa
hipótesis como verdadera y
poder demostrar una
conclusión falsa, llegando a
contradicciones de tipo Q ≣
¬ Q demostrando si la
contradicción es falsa
entonces la expresión
booleana es un teorema
Ejemplo de
contradicción:
Por contradicción
¬((A→B)^(¬A→B)≡B)
¬((A→B)^¬A→B))≡¬B
La expresión es una
implicación P¬Q la
contradicción estará
dada por forma P^¬Q
buscando llevar a P
una contradicción con
¬Q
Implicación
Mutua
Este método tiende a
demostrar la veracidad
entre dos expresiones de
tipo booleano. Se entiende
que existe un tipo de
implicación entre las dos
expresiones como A Y B:
A→B
B→A
(A→B)^(B→A)
Se puede decir que las dos
expresiones pueden tener
relacionamiento de
mutualidad viceversa.
Implicación mutua:
proposición
condicional:
Si esta haciendo sol,
entonces llevo el
bloqueador.
A. Esta haciendo
sol.
B. Llevo el
bloqueador
C. A→B
D. B→A
E. (A→B)^(B→A
)
Doble implicación: En
la lectura del
escenario 3.
A≡B≡(A→B)^(B→A)
Este ejemplo de
implicación mutua,
donde observamos
las dos expresiones
como A Y B podemos
aplicar el siguiente
método de
demostración.
A→B
B→A
(A→B)^(B→A
)
REFERENCIA.
1 http://biblioteca.usac.edu.gt/tesis/07/07_1914.pdf
2 https://www.um.es/docencia/jsimon/depmat/2016-2017/CyN/Linero-
DemostracionMatematicas(jsimon).pdf
3 Métodos de demostración escenario 4.