Primer Aporte Individual:

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y algunos

ejemplos de alguna de los Teoremas y Tcnicas de Demostracin (slo selecciona una e
informa en el foro cual escogi, para que no sea escogido por otro integrante), las
operaciones son:
Demostracin Directa
La forma ms natural de demostracin de un teorema o proposicin que es una
proposicin condicional es la demostracin directa. Analizando la tabla de verdad para P
Q, vemos que si queremos demostrar el teorema o proposicin P Q, es suficiente
demostrar que Q es verdadera siempre que P lo sea (pues P Q es verdadera cuando P es
falsa).

As, en una demostracin directa de P Q asumimos que la hiptesis, P, es verdadera y

demostramos usando argumentos lgicos que la tesis, Q, es verdadera. Una demostracin directa
sigue el siguiente esquema.

Los puntos suspensivos. . . indican la sucesin de razonamientos lgicos que inician con
P verdadero y finalizan con Q verdadero. El inicio de la demostracin se indica con
Demostracin: y se finaliza con el smbolo

o algn otro parecido. Como ejemplo,

demostraremos que la expresin abierta

Si x es un nmero entero impar, entonces x es un nmero entero impar
Es en realidad una proposicin verdadera, esto es, no importa que entero sea x, siempre
ser una proposicin verdadera.
Proposicin Si x es un nmero entero impar, entonces x 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
X = (2a + 1)
= (2a + 1) (2a + 1)
= 4a + 4a + 1

= 2(2a + 2a) + 1
= 2k + 1 (k = 2a + 2a).
En consecuencia, x es impar.
Ejemplo.
Dadas las premisas: 1. p ~q
2. r q
Concluir: t. p ~r
Demostracin: Puesto que r q es equivalente a ~q ~r, por MTT se tiene la premisa:
3. ~q ~r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como
p ~q y ~q ~r, entonces, p ~r. Por SH
La demostracin indirecta o por contrarrecproca
Se usa para demostrar, al igual que la demostracin directa, teoremas y proposiciones
que tienen la forma condicional P Q. Esta forma de demostracin se basa en el hecho
de que P Q es lgicamente equivalente a (Q) (P), como muestra la siguiente
tabla.

De esta manera, si queremos demostrar P Q por contrarrecproca, basta demostrar

(Q) (P) usando una demostracin directa. Esto es, asumimos que Q es verdadera y
demostramos que P es verdadera. Una demostracin por contrarrecproca sigue el
siguiente esquema.

Como ejemplo, demostraremos una misma proposicin usando los dos mtodos vistos
hasta ahora.
Proposicin Si 3x 1 es par, entonces x es impar. Demostracin: (directa) Supongamos
que 3x 1 es par. Entonces, por definicin, existe un nmero entero a, tal que
3x 1 = 2a.
As, restando 2x a ambos lados, obtenemos
3x 1 2x = 2a 2x
x 1 = 2(a x)
x = 2(a x) + 1
x = 2k + 1 (k = a x).
En consecuencia, x es impar

(Maia, 2012)
Segundo Aporte Individual:

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y ejemplos

concretos de alguna de las Leyes de Inferencia Lgica (slo selecciona una e informa en el
foro cual escogi, para que no sea escogido por otro integrante), las operaciones son:

Ley Simplificacin
Para otros usos de este trmino, vase Simplificacin (desambiguacin).
En lgica proposicional, la simplificacin (equivale a la sustitucin de una
conjuncin por uno de sus componentes ) es una inferencia inmediata vlida, forma de
argumento y regla de inferencia que hace que la inferencia de que, si la
conjuncin A y B es cierta, entonces A es verdad ( o bien "B tambin es verdad", otra
conclusin). La regla permite acortar las pruebas ms largas mediante la derivacin de una
de las conjunciones de una conjuncin en una lnea por s misma.
Un ejemplo:
2 es un nmero par y 2 es un nmero primo.
Luego 2 es un nmero par.
La regla se puede expresar el lenguaje formal como:
P Q
.:

O como
P Q
.:Q
Donde la regla es que cada vez que aparecen las instancias de P Q en las lneas de se
puede colocar en una prueba, P o Q en una lnea posterior.L Ley de simplificacin
Ejemplo
p q Tengo una manzana y tengo una pera
____________________________________________
p Tengo una manzana
q Tengo una pera
Ejemplo

P&Q
-------Q

.: P

P&Q

(P M) &

--------

__________________
.: Q

(P M) &

- ____________________

.: (P M)

.:

EJ: Una sociedad es una coleccin de individuos que buscan una forma de vida y la
cultura es su forma de vida.
S: Una sociedad es una coleccin de individuos que buscan una forma de vida
C: la cultura es su forma de vida.

S&C
__________
S

S&C
________________
C

En la primera concluimos que Una sociedad es una coleccin de individuos que buscan
una forma de vida, y en la segunda que en una sociedad la cultura es su forma de vida.
(WIKIPEDIA, 2016)
(LOGICAS, 2011)

Ley de la Conjuncin
p, q p q
Conjuncin (C): Si disponemos de dos enunciados afirmados como dos premisas
separadas, mediante la adjuncin, podemos unirlos en una sola premisa utilizando el
operador (conjuncin).
p Juan es cocinero
q Pedro es polica
p q Juan es cocinero y Pedro es polica
(Logico, 2008)

Tercer Aporte Individual:

Seleccionar uno de los siguientes enunciados y a travs de las dos formas bsicas de uso
de las Tablas de Verdad y del uso de las Leyes de Inferencia demostrar la validez o no
validez del argumento dado (slo selecciona uno e informa en el foro cual escogi, para que
no sea escogido por otro integrante), los enunciados son:
Si Bibiana aprueba el periodo acadmico entonces Johanna y Santiago sus hermanos se
enojan con ella. Y si no aprueba el periodo acadmico, pierde los beneficios de la beca
obtenida en la Universidad. Pero, Bibiana aprueba el periodo acadmico o no lo aprueba.
Por lo tanto, Johanna y Santiago sus hermanos se enojan con ella o pierde los beneficios de
la beca obtenida en la Universidad.
p. Bibiana aprueba el periodo acadmico
q. Johanna y Santiago sus hermanos se enojan con ella
r. pierde los beneficios de la beca obtenida en la Universidad

Tablas de verdad y uso de las leyes de inferencia

{[(p q) (~p r) (p v ~p)] (q v r)}
{[(p > q) & (~p > r) & (p + ~p)] > (q + r)}
Premisa 1: (p q)
Premisa 2: (~p r)
Premisa 3: (p v ~p)

Conclusin: (q v r)
Premisa 4: (q v r) Dilema constructivo DC 1,2,3
p

pq

~p r

(p q) (~p r)

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
F
F
V
V
V
V

V
V
V
V
V
F
V
F

V
V
F
F
V
F
V
F

Tautologia

p V ~p {[(p q) (~p r) (p v ~p)] (q V r) {[(p q) (~p r) (p v ~p)] (q v r)}

V
V
V
V
V
V
V
V

V
V
F
F
V
F
V
F

V
V
V
F
V
V
V
F

V
V
V
V
V
V
V
V