UNIVERSIDAD DE CARABOBO.

Profesor:

FACULTAD EXPERIMENTAL DE CIENCIAS Y TECNOLOGIA.

Patricia Guerrero

DEPARTAMENTO DE COMPUTACION.

Yenin Rodriguez.

ELEMENTOS DISCRETOS.

Preparador:
Jos Rosendo.

1) Demuestre la siguiente equivalencia:

p q = ((r (p q))

(s

s))

(( (p

q) r)

(t t))

2) Sean los siguientes razonamientos:

a. Si la ambicin de grandeza es distinta a la avaricia la consecuencia es que, si existe el
bien absoluto entonces, que existan pocas personas con grandes ambiciones hace que el
poder corrompa. Llegu a la conclusin anterior en base a lo que est a continuacin: si
es natural que el poder corrompa entonces en la infancia me ensearn valores. La
mayora de la gente solo desea vivir bien, son pocas las personas con ambiciones
grandes y en definitiva no es cierto el poder corrompa por naturaleza. Si la ambicin por
cosas grandes es una cosa distinta a la avaricia y la gente solo desea vivir bien entonces,
no es falso que el poder corrompa. Aclaro: quiero mejorar el mundo y s que la ambicin
por la grandeza es distinta a la avaricia o, si existe el bien absoluto entonces el poder
siempre va a corromper. Para terminar mi razonamiento, tomemos en cuenta que: no son
pocas las personas con ambiciones considerables o, no quiero mejorar el mundo o en mi
infancia me ensean valores.

Extraiga las proposiciones, simbolice las premisas y conclusin, y realice las respectivas
pruebas de invalidez y validez (esta ltima en caso de ser necesaria).

1) p

q ((r (p q))

(s

L1

s))

(( (p

q) r)

(t t))

L2

Partiendo del L2 para llegar al L1

((r (p q))

(s

((r (p q))

f)

(r (p q))

( (p

(r

(p q))

(( (p

(r

(p

((p

(r

r)

(p

p q L2

q))

(p q)

q)

s))

(( (p

(( (p

q)

q))

r)

q) r)

q) r)

q) r)

r)

f)

(t

t))

Complementacin
Identidad
Definicin del Condicional
Doble Negacin
Conmutativa y Distributiva
Complementacin
Identidad

Como partiendo de L2 y usando las leyes lgicas se ha llegado al L1, queda demostrada la
equivalencia.

2) Proposiciones:
p:

La ambicin de grandeza es distinta a la avaricia.

q:

Existe el bien absoluto.

r:

El poder corrompe por naturaleza.

s:

Son pocas las personas con grandes ambiciones.

t:

En la infancia me ensean valores.

u:

La mayora de la gente solo desea vivir bien.

w:

Quiero mejorar el mundo.

Premisas y Conclusin:
P1:

rt

P2:

u s r

P3:

(p u) r

P4:

(w p) (q r)

P5:

s w t

Q:

p (q (s r))

Prueba de Invalidez
p

P1

P2

P3

P4

P5

El razonamiento no es invlido.

Prueba de Validez: Mtodo Directo

Verdadero

Razn

rt

P1

u s r

P2

(p u) r

P3

(w p) (q r)

P4

s w t

P5

Simplificacin (2)

Simplificacin (2)

r (p u)

Contrarreciproco (3)

(p u)

Modus Ponens (7) (8)

10 p u

De Morgan (9)

11 u p

Conmutativa (10)

12 u p

Definicin del Condicional

(11)

13 p

Modus Ponens (12) (6)

14 p (q (s r))

Adicin (13)

15 p (q (s r))

Definicin del Condicional

(14)

El razonamiento es vlido.

Prueba de Validez: Mtodo del Condicional

Verdadero

Razn

rt

P1

u s r

P2

(p u) r

P3

(w p) (q r)

P4

s w t

P5

Antecedente de Q

Simplificacin (2)

pu

Conjuncin (6) (7)

Modus Ponens (3) (8)

10 (q (s r))

Adicin (9)

11 (q (s r))

Definicin del Condicional

(11)

El razonamiento es vlido.

Prueba de Validez: Mtodo de Reduccin al Absurdo

Verdadero

Razn

rt

P1

u s r

P2

(p u) r

P3

(w p) (q r)

P4

s w t

P5

(p (q (s r)))

(p (q (s r)))

Definicin del Condicional

(6)

p q s r

De Morgan, Doble
Negacin y Asociativa (7)

Simplificacion (8)

10 u

Simplificacion (2)

11 p u

Conjuncion (9) (10)

12 r

Modus Ponens (3) (11)

13 r

Simplificacion (2)

14 r r

Conjuncion (12) (13)

El razonamiento es vlido.