UNIVERSIDAD DE CARABOBO.

Profesor:

FACULTAD EXPERIMENTAL DE CIENCIAS Y TECNOLOGIA.

Soraya Aguilar.

DEPARTAMENTO DE COMPUTACION.

Preparador:

ELEMENTOS DISCRETOS.

Jos Rosendo.

1) Demuestre la siguiente equivalencia:

pq((r(pq))(ss))(((pq)r)(tt))

2) Sean los siguientes razonamientos:

a. No me comporto como un fantico o simplemente el fanatismo me impide razonar.
Sucede que acto como un fantico y no es cierto que me mantengo al margen de los
hechos o, es falso que, soy como un fantico o no me aparto de los hechos. Es suficiente
que la inteligencia vaya por encima de la fuerza, para que acte fanticamente y al
mismo tiempo me mantenga al margen de las situaciones. Si planeo controlar la
sociedad y tomo en cuenta que la temperatura de la sangre fra se mide con algo distinto
a un termmetro, entonces me mantengo al margen de la situacin. En consecuencia, si
planeo dominar la sociedad, el fanatismo no me permite pensar racionalmente o la
temperatura de la sangre fra se determina con algo diferente a un termmetro.

b. Si Kasei le propone a Makishima unirse a Sibyl la consecuencia es que, si lo real y la

realidad son cosas distintas son cosas distintas entonces, Makishima planeara derrotar a
Sibyl siempre que Kougami se enfrente a Makishima. Llegu a la conclusin anterior en
base a lo que est a continuacin: si Makishima planea vencer a Sibyl entonces Sybil
estar formado por personajes anormales. La forma real de Sibyl es desconocida por la
mayora, Kougami se enfrenta a Makishima y en definitiva no es cierto que Makishima
planea derrotar a Sibyl. Si Kasei propone a Makishima unirse a Sibyl y la mayora de las
personas desconocen la verdadera forma de Sibyl entonces, no es falso que Makishima
trama derrotar a Sibyl. Aclaro: Akane se encuentra en una encrucijada y Kasei insta a
Makishima a unirse a Sibyl o, si lo real y la realidad son cosas distintas entonces
Makishima planea vencer a Sibyl. Para terminar mi razonamiento, tomemos en cuenta
que: Makishima no se enfrenta con Kougami o, Akane no se encuentra en una
encrucijada o Sybil estara formado por personajes anormales.
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.

1) Proposiciones:
p:

Me comporto como un fantico.

q:

El fanatismo impide razonar.

r:

Me mantengo al margen de los hechos.

s:

Pienso que la inteligencia va por encima de la fuerza.

t:

Planeo controlar la sociedad.

u:

La sangre fra se mide con algo distinto a un termmetro.

Premisas y Conclusin:
P1:

p q

P2:

(p r) (p r)

P3:

s (p r)

P4:

(t u) r

Q:

t (q u)

Prueba de Invalidez

P1

P2

P3

P4

El razonamiento es invlido.

2) Proposiciones:
p:

Kasei le propone a Makishima unirse a Sibyl.

q:

Lo real y la realidad son cosas distintas.

r:

Makishima planea derrotar a Sibyl.

s:

Son pocas las personas con grandes ambiciones.

t:

Sybil est formado por personajes anormales.

u:

La verdadera forma de Sibyl es desconocida por la mayora.

w:

Akane se encuentra en una encrucijada.

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.