Vous êtes sur la page 1sur 3

Ayudantı́a 1

MAT1012 - 2
Nicolás Morales
13 de Agosto de 2010

1. Si p es una proposición verdadera y q es falsa, determine el valor de


verdad de:

¬ [{p ∨ (¬p ∧ q)} ∧ ¬q] → [(¬q ∨ r) → (q → s)]

2. Determine el valor de verdad de las proposiciones p, q, r si la proposi-


ción
p → (q ∨ r)
es falsa.

3. Demuestre que la proposición:

[(β → α) ↔ (¬β → α)] ↔ α

es una tautologı́a.

4. Sin usar tabla de verdad, determine el valor de p, q, r y s, si la proposi-


ción:
[q → (r ∧ s)] → [(p ∨ q) → p]
es falsa.

5. Considere la siguiente expresión, tradúzcala al lenguaje simbólico, es-


criba su negación y luego vuelva a traducirla: ”Dado cualquier número
real existe otro número real cuyo cuadrado es el número original”.

6. Dados los predicados p(x, y) : x − y > 1 y q(x, y) : 2x + 3y < 2.


Determine el valor de verdad
n de las siguientes
o proposiciones, donde:
1
A = {2, 1, −1, −3} y B = −4, 1, − 2

a) (∀x ∈ B) (∀y ∈ A) (¬p(x, y) ∨ q(x, y))


b) (∃x ∈ A) (∃y ∈ B) (p(x, y) ↔ ¬q(x, y))

7. Niegue las siguientes proposiciones:

a) (∀m ∈ Z) (2m + 1 > 2 ∧ m − 4 ≤ 1)


b) (∀x ∈ R) (∃y ∈ R) (3x + y es par)

1
Soluciones:

1. Los valores que conocemos son:

p≡V; q ≡F

La proposición original es:

¬ [{p ∨ (¬p ∧ q)} ∧ ¬q] → [(¬q ∨ r) → (q → s)]

Notamos que (q → s) ≡ (F → s) ≡ V , con lo que la proposición se


convierte en:

¬ [{p ∨ (¬p ∧ q)} ∧ ¬q] → [(¬q ∨ r) → V ]

Ahora usamos que [(¬q ∨ r) → V ] ≡ V , con lo que la proposición toma


la siguiente forma:

¬ [{p ∨ (¬p ∧ q)} ∧ ¬q] → V

Usando de nuevo el argumento anterior, podemos decir que el valor de


verdad de la proposición es V .

2. Sabemos que:

[p → (q ∨ r)] ≡ F

De donde podemos notar que p ≡ V y que (q ∨ r) ≡ F , de esto último,


concluimos que q ≡ r ≡ F .

3. Para demostrar que la proposición es una tautologı́a, usamos tabla de


verdad:

[(β → α) ↔ (¬β → α)] ↔ α


V V V V F V V V V
F V V V V V V V V
F V F F V F F V F
V F F F F V F V F

2
4. Ya que la proposición es falsa, podemos afirmar que [q → (r ∧ s)] ≡ V
y también [(p ∨ q) → p] ≡ F , esto último nos indica que p ≡ F y que
(p ∨ q) ≡ V , obteniendo ası́ el valor de q el cual es V . Al observar el
resto de la proposición, notamos que si [q → (r ∧ s)] ≡ V y también
q ≡ V , necesariamente (r ∧ s) ≡ V , por lo tanto r ≡ s ≡ V .

5. La traducción de la proposición a lenguaje matemático serı́a:

∀x ∈ R, ∃y ∈ R | y 2 = x

La negación de dicha expresión se escribe como:

∃x ∈ R, ∀y ∈ R | y 2 6= x

Lo que se lee como: Existe un número real tal que dado otro número
real cualquiera, este no es el cuadrado del primer número.

6. a) Para simplificar el problema, negamos la proposición y vemos que


sucede con la negación de esta, en lugar de analizar la proposición
original, la negación de la proposición es:

(∃x ∈ B) (∃y ∈ A) (p(x, y) ∧ ¬q(x, y))


Notamos que esta proposición es verdadera, ya que sirven los
pares (x, y): (1, −1); (1, −3) y (− 21 , −3), al ser la negación de
la proposición que queriamos analizar, significa que el valor de
verdad de la proposición original es F .
b) Para que esta proposición sea verdadera, debemos encontrar al
menos un par (x, y), tal que el valor de verdad de p(x, y) sea
distinto al de q(x, y), por ejemplo sirve el par (−3, 1), con el
cual p es falso y q es verdadero, por lo tanto la proposición es
verdadera.

7. a) (∃m ∈ Z) (2m + 1 ≤ 2 ∨ m − 4 > 1)


b) (∃x ∈ R) (∀y ∈ R) (3x + y es impar)

Vous aimerez peut-être aussi