Mtodos de demostracin

Demostracin Directa

1. Demostracin Trivial
Se construye una demostracin de este tipo, probando que el valor verdadero de la
conclusin es verdad.
Si es posible establecer la veracidad de la conclusin Q, entonces el condicional
P Q ser una tautologa independientemente del valor de verdad que tenga la
hiptesis, luego P Q, la demostracin es correcta y el teorema cierto.

2. Demostracin Directa
Una demostracin de este tipo muestra que la verdad de la conclusin Q, se sigue las
leyes lgicas y de inferencia de la hiptesis P. La demostracin empieza asumiendo
que p es verdad para despus, utilizando cualquier informacin disponible, as como
teoremas probados con anterioridad, probar que q es verdad.

Demostracin indirecta

3. Demostracin por la contrarrecproca
La demostracin de un teorema se dice que es por la contrarrecproca cuando
suponiendo que la conclusin, Q, es falsa y utilizando la hiptesis P y otros teoremas y
equivalencias lgicas establecidas previamente, se concluye que P es falso.
Est basada en la equivalencia lgica entre una proposicin condicional y su
contrarrecproca,
P Q Q P

4. Demostracin por contradiccin
La demostracin de un teorema diremos que es por contradiccin cuando suponiendo
que la conclusin, q, es falsa y utilizando la hiptesis P, y otros teoremas y
equivalencias lgicas establecidas previamente, se llega a una contradiccin.
Est basada en la equivalencia lgica conocida como reduccin al absurdo, es por ello
que este mtodo de demostracin es conocido, tambin, como demostracin por
reduccin al absurdo.



Este tipo de demostracin tiene su sustentacin en las siguientes equivalencias
lgicas.

1. P Q (P Q) C
2. P Q R R P Q

Donde C es una contradiccin. Por lo tanto, si probamos que (P Q) C es una
tautologa tendremos que P Q tambin lo es y, consecuentemente, P Q

5. Demostracin por Contraejemplos
Este tipo de demostracin, ntimamente relacionada con el cuanto picador universal,
aparece cuando se quiere probar que una proposicin del tipo x, p(x) es falsa.
Normalmente diremos que se refuta la proposicin x, p(x).
En efecto, x, p(x) ser falsa cuando exista, al menos, un elemento a en el universo
del discurso para el cual p(a) sea una proposicin falsa. Hemos encontrado, pues, un
ejemplo que contradice el que x, p(x) sea verdad por lo cual le llamaremos
contraejemplo.
En el caso de un teorema el planteamiento seria como sigue: x [p(x) q(x)] es
falso si existe un elemento a en el universo para el cual la proposicin condicional
p(a) q(a) sea falsa, es decir tal que p(a) sea verdad y, sin embargo, q(a) sea
falsa.

CIRCUITOS LGICOS

Son sistemas donde los valores de verdad se expresan mediante interruptores que
controlan el paso de la corriente.
La condicin fundamental de los circuitos lgicos son las siguientes si una proposicin
es verdadera, el interruptor estar cerrado y la corriente pasar. Si la proposicin es
falsa, el interruptor estar abierto y la corriente no pasar.
Las operaciones se expresan de la siguiente manera:

La Conjuncin: se representa mediante dos interruptores conectados en serie. Si uno
de ellos est abierto la electricidad no llega a su destino, lo que se ve reflejado en las
tablas de verdad.



La Disyuncin Inclusiva: se representa mediante dos interruptores en paralelo, donde le
electricidad pasa a menos que los dos estn abiertos, es decir, los dos sean falsos.

La Condicional: a partir de las leyes complementarias, podemos definir a la condicional
como ~p q, por lo que, mediante un circuito lgico quedara como:

La incondicional: mediante las leyes complementarias podemos redefinirla
como (pq)(~p~q), entonces:

La disyuncin exclusiva: finalmente, podemos expresarla mediante leyes
complementarias por (pq)(~p~q), por lo que quedara: