Demostraciones Directas e Indirectas.

La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento;

es el enlace entre los conocimientos recin adquiridos y los conocimientos anteriores.

Los procedimientos de demostracin permiten establecer la conexin lgica entre

las proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta
deducir la conclusin o tesis que as se demuestra.

Demostracin directa:

La demostracin directa consiste en construir un razonamiento que conduzca al teorema

como conclusin, o sea se demuestra una afirmacin o teorema expresando las premisas
que conducen directamente a ella. Por ejemplo, si se quiere demostrar q y supongamos
que tenemos las premisas "p q" (la flecha es la conectiva lgica llamada "condicional")
y "p", ello se expresa as:

pq

p
___
q

.Ejemplo 1.
Si x es un nmero entero impar, entonces x 2 es un nmero entero impar.

Demostracin: Supongamos que x es impar. Entonces, por definicin de nmero entero

impar, existe un nmero entero a, tal que

X = 2a + 1.
Ahora
X2 = (2a + 1) 2
= (2a + 1) (2a + 1)
= 4a2 + 4a + 1
= 2(2a2 + 2a) + 1
= 2k + 1 (k = 2a2 + 2a).
En consecuencia, x2 es impar.

Demostracin indirecta:

La Demostracin Indirecta es tan solo el llegar a una conclusin verdadera, factible y

conveniente por un mtodo ms largo y con una respuesta que indica que la conclusin
es cierta.

Cuando aplicamos la Demostracin Directa, damos una premisa que conduce

directamente a la conclusin, sin embargo hay algunos casos en los que no puedes llegar
a la conclusin directamente, por lo tanto efectuamos la Demostracin Indirecta.

Ejemplo 1.
Si 3x 1 es par, entonces x es impar.

Demostracin: Supongamos que x no es impar. Entonces x es par. As, existe un nmero

entero a, tal que x = 2a.
Ahora,
3x 1 = 3(2a) 1
= 6a 1 1 + 1

= 6a 2 + 1= 2(3a 1) + 1
= 2k + 1
(k = 3a 1).

En consecuencia, 3x 1 es impar.

LGEBRA DE BOOLE.

El Algebra de Boole es un sistema matemtico que utiliza variables y operadores lgicos.

Las variables pueden valer 0 o 1. Y las operaciones bsicas son OR (+) y AND().

En el algebra de Boole se cumplen las siguientes Leyes:

Conmutatividad: X + Y = Y + X X Y = Y X
Asociatividad: X + (Y + Z) = (X + Y ) + Z X (Y Z) = (X Y ) Z
Distributividad: X + (Y Z) = (X + Y ) (X + Z) X (Y + Z) = (X Y ) + (X Z)
Elementos Neutros (Identidad): X + 0 = X
X1=X
Complemento: X + X = 1
XX=0
Dominacin: X + 1 = 1
X0=0
Demostracin: X + 1 = (X + 1) 1 = (X + 1) (X + X) (X + 1) (X + X) = X + (1 X) = 1
Doble complemento: X = X
Absorcin: X + X Y = X
X (Y + X) = X
DeMorgan: A B = A + B
A+B=AB

Luego se establecen los siguientes Teoremas:

Teorema de la Simplificacin
A+AB=A+B
A (A + B) = A B
Demostracin: A A = 0
AA+B=B
(A + B) (A + B) = B
A (A + B) (A + B) = A B
A (A + B) = A B
Teorema del complemento nico
Suponemos 2 complementos para A (A1 y A2)
A + A1 = 1
A + A2 = 1
A A1 = 0
A A2 = 0
Luego,
A1 = A1 1 = A1 (A + A2) = A1 A + A1 A2
A1 = 0 + A2 A1
A1 = A A2 + A1 A2 = (A + A1) A2
A1 = 1 A2 = A2

REGLAS DE INFERENCIA

Una Regla de inferencia es un esquema para construir inferencias validas sea

conclusiones vlidas. Estas reglas permiten establecer relaciones sintcticas entre un
conjunto de premisas y una asercin llamada conclusin.
Estas relaciones sintcticas son usadas en el proceso de inferencia, por el que se llega
a nuevas aserciones verdaderas a partir de otras ya conocidas.

Algunas reglas de inferencia sencillas.

Modus ponendo ponens: El modus ponendo ponens (en latn, modo que afirmando
afirma), tambin llamado modus ponens y generalmente abreviado MPP o MP, es una
regla de inferencia que tiene la siguiente forma:

Si A, entonces B
A
Por lo tanto, B

Ejemplo:

Si son las 6 AM, entonces ya amaneci.

Son las 6 AM.

Por lo tanto, Ya amaneci

Modus ponendo tollens: El modus ponendo tollens (en latn, modo que afirmando
niega) o MPT es una forma vlida de argumento que dice:

O bien A, o bien B

Por lo tanto, no B

EJEMPLO:

O bien esta soleado, o bien esta lluvioso.

Esta soleado.

Por lo tanto, no est lluvioso.

Modus tollendo ponens: El silogismo disyuntivo, histricamente conocido como modus

tollendo ponens (en latn, modo que negando afirma) o MTP, es una forma vlida de
argumento:

Es el caso que A, o es el caso que B

No A

Por lo tanto, B

EJEMPLO:

O bien esta soleado, o bien esta lluvioso.

No Esta soleado.

Por lo tanto, esta lluvioso.

Modus tollendo tollens: El modus tollendo tollens (en latn, modo que negando niega),
tambin llamado modus tollens y generalmente abreviado MTT o MT, es una regla de
inferencia que tiene la siguiente forma:

Si A entonces B
No B
Por lo tanto, no A

EJEMPLO:

Si son las 6 AM, entonces amaneci.

No son las 6 AM.

Por lo tanto, no amaneci.

PROBLEMA 5

Los estudiantes del programa de Ingeniera de Alimentos de la UNAD, al matricular el

curso de Fsica General deben asistir al componente prctico. Marcela hace el siguiente
anlisis de la situacin que se le ha presentado al conocer las fechas en que debe asistir.
Si las prcticas de laboratorio son el prximo domingo entonces asisto a la universidad.
Si realizo los experimentos entonces entrego el informe de laboratorio. Asisto a la
universidad y entrego el informe de laboratorio entonces obtengo un puntaje sumativo
para la nota. No obtengo un puntaje sumativo para la nota. Por lo tanto no realizo los
experimentos o las prcticas de laboratorio no son el prximo domingo. Determinar con
el uso de las dos formas de la tabla de verdad la validez del razonamiento y hacerlo
tambin con el uso de las leyes o reglas de inferencia.

P: Practicas el domingo.
Q: Asistir a la universidad.
R: Realizar los experimentos.
S: Entregar el informe.
T: Obtengo un puntaje sumativo para la nota.

Premisa 1 pq
Premisa 2 rs
Premisa 3 (qs)t
Premisa 4 t
Conclusin (rp)

{(p q) (r s) [(q s) t] t} (r V p)
 {[(pq)(rs)][(q
{[(qs)t] {[(pq)(rs)] s)
p q r s t p r t pq rs [(pq)(rs)] qs [(qs)t] t} [(qs)t]t} (rp) t]t}(rp)

V V V V V F F F V V V V V F F F V
V V V V F F F V V V V V F F F F V
V V V F V F F F V F F F F F F F V
V V V F F F F V V F F F V V F F V
V V F V V F V F V V V V V F F V V
V V F V F F V V V V V V V V V V V
V V F F V F V F V V V F F F F V V
V V F F F F V V V V V F V V V V V
V F V V V F F F F V F F F F F F V
V F V V F F F V F V F F V V F F V
V F V F V F F F F F F F F F F F V
V F V F F F F V F F F F V V F F V
V F F V V F V F F V F F F F F V V
V F F V F F V V F V F F V V F V V
V F F F V F V F F V F F F F F V V
V F F F F F V V F V F F V V F V V
F V V V V V F F V V V V V F F V V
F V V V F V F V V V V V V V V V V
F V V F V V F F V F F F F F F V V
F V V F F V F V V F F F V V F V V
F V F V V V V F V V V V V F F V V
F V F V F V V V V V V V V V V V V
F V F F V V V F V V V F F F F V V
F V F F F V V V V V V F V V V V V
F F V V V V F F V V V F F F F V V
F F V V F V F V V V V F V V V V V
F F V F V V F F V F F F F F F V V
F F V F F V F V V F F F V V F V V
F F F V V V V F V V V F F F F V V
F F F V F V V V V V V F V V V V V
F F F F V V V F V V V F F F F V V
F F F F F V V V V V V F V V V V V

Truth Table
p q r s t {(pq)(rs)[(qs)t] t}( rV p)
T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
 F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T

expression is a tautology

http://jaramillo0119.blogspot.com.co/2014/11/demostracion-directa-indirecta-y.html
https://darkjrof.wordpress.com/2011/04/04/reglas-de-inferencia/