Demostracin por Contraejemplo.

Este mtodo se aplica de manera muy particular para demostrar la falsedad de

una proposicin cuya hiptesis est constituida por una cuantificacin universal
(un para todo).
Esto es, se aplica para demostrar la falsedad de una proposicin que tenga una
conclusin referida para todos los elementos de un cierto conjunto.

Ejemplos
1. todo nmero divisible por 5 lo es tambin por 3 y 2
2. la suma de dos enteros impares es otro entero impar
3. todos los nmeros primos son impares

Contraejemplos
1. el 25 es divisible por 5, pero no por 3 ni 2
2. al sumar 5+7= 12, y no es impar
3. el 2 es un numero primo y no es impar

Simplificacin y Ley de la conjuncin.

La simplificacin de una proposicin, o, dicho de otra manera, la simplificacin

de una expresin lgica consiste en reducir la expresin lgica a una forma
ms simple mediante el uso de los axiomas y/o leyes lgicas.
La simplificacin consiste en ir desarrollando la expresin paso a paso
mediante la sustitucin en cada paso de una expresin lgica equivalente a la
anterior, hasta llegar a una expresin lgica irreducible.
A travs de la simplificacin podemos tambin demostrar una equivalencia
lgica sin usar tablas de verdad.
Ejemplos:
1. [~ (p q) (~p q)] (~p q) Ley de Morgan

[(~p ~q) (~p q)] (~p q) Distributiva

[~p (~q q)] (~p q) Complemento
(~p V) (~p q) Forma Normal
~p (~p q) Condicional
~ (~p) (~p q) Doble negacin
p (~p q) Distributiva
(p ~p) (p q) Complemento
V (p q) Forma Normal
pq
2. ~{[(~p) (~q)] ~q ]} Asociativa

~{[ ~p (~q ~q)] } Idempotencia

~[~p ~q] Morgan

~~p ~(~q) Doble Negacin

pq

3. [(p q) ~r] v [p (q ~r)] Condicional

[~ (p q) v ~r] v [~p v (~q v ~r)] Morgan
[(~p v ~q) v ~r] v [~p v (~q v ~r)] Elimino signos de agrupacin
~p v ~q v ~r v ~p v ~q v ~r Asociacin
(~p v ~p) v (~q v ~q) v (~r v ~r) Idempotencia
~p v ~q v ~r Morgan
~ (p q r)

4. En un colegio de la ciudad se est buscando brindar un premio al

estudiante con el mejor promedio acadmico; para lo cual se quiere exonerar
a dicho estudiante de los exmenes finales. Es as que en la reunin
acadmica se hace el siguiente anlisis: Si Jaime posee un promedio ms
alto que Pablo, entonces Martha posee un promedio ms bajo que Aura.
Martha no tiene un nivel acadmico ms bajo que Aura. Si Jaime y Lina tienen
el mismo promedio, entonces Jaime est con un promedio ms alto que
Pablo. Por consiguiente, Jaime y Lina no tienen el mismo promedio. Con el
uso de las dos maneras de la tabla de verdad y con el uso de las leyes de
inferencia comprobar la validez del razonamiento hecho.

Uso de leyes de inferencia

Premisa 1:
Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee un
promedio ms bajo que Aura.

Premisa 2:
Martha no tiene un nivel acadmico ms bajo que Aura.
Premisa 3
Si Jaime y Lina tienen el mismo promedio, entonces Jaime est con un
promedio ms alto que Pablo.

p.1: p - q
p.2: q
p.3: r p
C: -r
---------------------------
P.4: -p (MTT p.1, p.2)
p.5: -r (MTT p.3, p,4)

A travs del uso de la ley de inferencia Modus Tollendo Tollens (MTT), la cual
dice que la negacin del consecuente dar como resultado la negacin del
antecedente, llegamos a la conclusin (-r). Por lo que se concluye que el
razonamiento es vlido, resultando que es falso que Jaime y Lina tengan el
mismo promedio.

Uso de las tablas de verdad

P= Jaime posee un promedio ms alto que pablo
Q= Martha no tiene un nivel acadmico ms bajo que Aura
R= Jaime y Lina tienen el mismo promedio

Expresin normal del razonamiento

[(p - q) q (r p)] -r

p q r -q -r p - q rp (p- q) q (I) (I) r p (II) -r

(II)
V V V F F F V F F V
V V F F V F V V F V
V F V V F V V F F V
V F F V V V V F F V
F V V F F V F V F V
F V F F V V V V V V
F F V V F V F F F V
F F F V V V V F F V

Al realizar la tabla de valores se obtuvo que todos los valores dieron verdadero,
lo que automticamente lo convierte en una tautologa, por lo tanto, la
conclusin en la que Jaime y Lina no tienen el mismo promedio es cierta, tal
como se mostr en la inferencia del apartado anterior.

https://issuu.com/doraisabel4/docs/simplificaci__n_y_ley_de_la_conjunc
simplificacin y ley de la conjuncin

Mtodos de demostracin en matemtica.

https://es.slideshare.net/filosofico/mtodos-de-demostracin-en-matemtica

https://www.youtube.com/watch?v=OuHYh1Xw5no