Examen parcial de Fundamentos de computación II.

Nombre: ____Alejandro Sandoval Millan_________ Expediente: _219206862__

I. Escriba la tabla de verdad de las siguientes proposiciones (especifica si es una tautología,

contradicción o contingencia) (Valor: 2 puntos c/u):
1)(pvq) → ¬q

Contingencia

2)(p → q)  ¬(p → q)

Contradiccion

II. Formule la expresión simbólica en palabras usando (Valor: 1 punto c/u):

p: Leo toma Ingeniería en Sistemas de Información.
q: Leo toma Fundamentos.
1) ¬p “Leo no toma ingenieria en sistemas”
2)pv¬q “Leo toma ingeniería en sistemas o Leo no toma fundamentos”
3)p¬q “Leo toma ingeniería en sistemas y Leo no toma fundamentos”
4)p→q “Leo toma ingeniería en sistemas entonces toma fundamentos”
III. Para las siguientes proposiciones, establezca si son lógicamente equivalentes () (Valor: 2
puntos c/u):
1) p(¬qvr)  pv(q¬r)

No son equivalentes

2)p→q  ¬pvq

Si son equivalentes
IV. Sea P(x), la afirmación “x está en un curso de matemáticas”. El dominio del discurso es el
conjunto de todos los estudiantes. Escriba cada proposición en los siguientes ejercicios en
palabras (Valor: 1 punto c/u):
1)∃𝑥¬𝑃(𝑥)

2)¬(∀𝑥𝑃(𝑥))
V. En los ejercicios que siguen, las premisas están en forma simbólica. Dar una deducción
completa de la proposición que se desea demostrar (Valor: 2 puntos c/u)

1)Demostrar: T 2)Demostrar: ST 3)Demostrar: S

(1)P→S (1)P→S (1)PvQ
(2)¬S (2)P→T (2)¬Q
(3)¬P→T (3)P (3)P→S
(4)¬P MT 1,2 (4)S MP 1,3 (4)P TS 1,2
(5)T MP 3,4 (5)T MP 2,3 (5)S MP 3,4
∴T (6)ST RDLC 4,5 ∴S
∴ST