01

a) Resolución:

⇒ p: Karina tendra una buena educacion.

⇒ q: pone sus estudios antes que su interes en ser estrella de cine.

q→p

b) Resolución:
⇒ p: Homero aprueba su curso de programación 1.

⇒ q: termina su proyecto de estructura de datos.

⇒ r: podrá tomar el curso de lenguaje de programación el proxima semestre.

(p ˄ q) → r

c) Resolución:
⇒ p: Norma está haciendo su tarea de matemáticas.

⇒ q: Claudia está practicando sus lecciones de pianos

p˄q

d) Resolución:

⇒ p: Si Lorenzo se va de vacaciones

⇒ q: Él se divertirá.

⇒ r: Le preocupa viajar en avión.

P → (q → ~r)

02) Resolución:

M:

[p ˄ (q v r)] ˄ [ (p ˄ (s ˄ -s)]

[p ˄ (q v r) ˄ (p ˄ v)

[p ˄ (q v r) ˄ p

p ˄ [p ˄ (q v r) ]

[(p ˄ p) v (q v r)]

P ˄ (q v r)

N:

[(p ˄ -p) v (-p ˄ q)] v (-q v p)

[q ˄ (-p v -p) v V]

(q ˄ -p) v V

M → N:

[P ˄ (q v r)] → V
- [P ˄ (q v r)] v V

09 a) P+Q

B) P.Q

C) (P.Q) + (R.S)

D) (R+S).P

E) P . (R+S+P) . Q

16) A= - (-p → -q), B=(p → q) ˄ - (-p ˄ q), C= -(p v -q)

A≡B

B≡C
A≡C

20 a) Demostrar que: x<y

(x=y v x>y) = (x<4 v ~(x<z)) ^ (x=y →x<z) ^ (x>y →x<z)
I. x=y v x>y

II. x<4 v ~(x<z)

III. x=y → x<z

IV: x>y → x<z

R. Dilema Constructivo. I, Ill y IV

V. x < z

R. Silogismo Disyuntivo: II, V

VI. x < y

b) Demostrar que: y=z v x≠5

(x=y → x<z) ˄ (x=5 → x~<z) ˄ (x=3 → x<z) ˄ (x-<y → x>y) ˄ (x=3 v x~<y)

I. x=y → x<z
II. x=5 → x~<z

III. x=3 → x<z

IV. x~<y → x=y

V x=3 v x~<y

Simplificación : I, IV

VI. x~<y → x<z

c) Demostrar que: x<5.

(x<y ˄ x=y) ˄ (x=y →y≠5) ˄ (x<y ˄ y=r → x<s) ˄ (y=5)

I. x<y ˄ x=y

II. x=y→x≠5

!!!_x<y ˄ y=r → x<5

IV y=5

R. Modus Tollens: II, IV

V. x≠y

R, Modus Tollers: I, V

VI. x<y
VII. x<y ˄ y=5

R Modus Ponens: III, VII

VIII. x<5