Beruflich Dokumente
Kultur Dokumente
Tarea 1
i. 3 + 5 > 19.
ii. Marı́a, te casarı́as conmigo?.
iii. Lava los trastes.
iv. Traes la tarea?
v. 8.
i. (p ∨ q) ∨ s
ii. ¬q ∨ p
iii. (¬p ∨ ¬q) −→ s
iv. ¬p ∨ ¬(q ∧ r)
v. s ←→ (¬(p ∨ q) ∧ (¬p ∨ r))
i. r ←→ ((p ∨ q) ∧ ¬p)
ii. s ←→ (r ∧ ¬(p ∧ q) ∨ (¬q ∨ r))
i. ∀x, P (x)
ii. ∃x, ¬P (x)
VII. Determine el valor de verdad de cada afirmación y escriba su negación.
El dominio de discurso es el conjunto de números reales.
i. ∀x, (x2 > x)
ii. ∃x, (x > 1 −→ x2 > x)
VIII. Sea T(x,y) la función proposicional ”x es más alto que y, y y6= y”. El
dominio de discurso consiste en tres estudiantes: Gerardo, que mide 5
pies 11 pulgadas; Ernesto, que mide 5 pies 6 pulgadas, y Martı́n que
mide 6 pies. Escriba cada proposición en palabras y diga si ésta es
verdadera o falsa.
i. ∀x∀y, T (x, y)
ii. ∃x∃y, T (x, y)
IX. Determine el valor de verdad de cada afirmación. El dominio de discurso
es el conjunto de números reales. Justifique sus respuestas.
i. ∀x∀y, (x2 < y + 1)
ii. ∃x∀y, (x2 + y 2 ≥ 0)
iii. ∃x∃y, (x2 < y + 1)
iv. ∀x∃y((x < y) −→ (x2 < y 2 ))
X. Demuestre lo siguiente:
i. Para todos los enteros m y n, si m y n son impares, entonces mn
es impar.
ii. Para todos los enteros m y n, si m par y n impar, entonces mn es
par.
iii. Si x es un número real, entonces x · 0 = 0. Suponga que los sigu-
ientes teoremas son previos: Si a, b y c son números reales, entonces
b + 0 = b y a(b + c) = ab + ac. Si a + b = a + c, entonces b = c.
iv. Demuestre por contradicción que se xy = 0, entonces x = 0 o
y = 0. Suponga que si a, b, c son números reales con ab = ac y
a 6= 0, entonces b = c.
3
i. p −→ q
¬p
∴ ¬q
ii. p −→ q
¬q
∴ ¬p
iii. p −→ (q −→ r)
q −→ (p −→ r)
∴ (p ∨ q) −→ r
i. ¬p ∨ q ∨ r
¬q
¬r
∴ ¬p
ii. ¬p ∨ r
¬r ∨ q
p
∴ ¬p
iii. ¬p ∨ t
¬q ∨ s
¬r ∨ st
p∨q∨r∨u
∴s∨t∨u
iv. p −→ q
p∨q
∴q