UNIVERSIDAD DE CONCEPCION

FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS

Listado Nº1
Introducción a la Matemática Universitaria (520145)

Lógica y conjuntos.-

1.- Confeccione las tablas de verdad de las siguientes proposiciones:

a) p∧q → p

b) ∼ ( p ∨ q) → (∼ p ∧ ∼ q)

2.- Simplifique las siguientes proposiciones:

a) ∼ ( ∼ p∨ ∼ q )

b) ∼ ( p ∨ q) ∨ (∼ p ∧ q)

3.- Sabiendo que p ∨ q es verdadera y que ∼ q es verdadera, determine el valor de verdad de

( p ∨ q ) ∧ ∼ q  → q

4.- Determine, en cada caso, si la información que se da es suficiente para conocer el valor de
verdad de las siguientes proposiciones compuestas:
a) ( p → q) → r ; r es verdadera.

b) ( p ∨ q ) ↔ ( ∼ p∧ ∼ q ) ; q es verdadera.

c) ( p ∧ q) → ( p ∨ r ) ; p es verdadera y q es falsa.

d) p ∧ (q → r ) ; p → r es verdadera.

5.- Los valores de verdad de p, q, r y s son, respectivamente, v, f, f, v.

Obtenga los valores de verdad de las proposiciones:
a) ( p ∨ q ) ∨ r  ∧ s

b) r → (s ∧ p)

c) ( p ∨ r ) ↔ (r∧ ∼ s) .

6.- Considere las proposiciones:

p : todo número racional es mayor que 2
q : la ecuación x 2 + 1 = 0 no tiene solución en
a) Escriba en forma simbólica las proposiciones dadas, niéguelas y luego escriba la negación en
lenguaje corriente.
b) Indique el valor de verdad de las proposiciones p → q , p ∨ ( ∼ q ) , (∼ p) ∧ q .
c) Escriba las proposiciones: ∼ ( p → q ) , ∼ ( p ∧ q ) .

7.- Niegue las siguientes proposiciones:

a) ( ∀x ) ( x ≥ 0 → x∈ )
b) ( ∃x ∈ )( x + 2 = 5) ∧ ( ∀x ∈ ) ( x 2 > x )
c) ∃x ∈ , ∃y ∈ , x 2 − 2 y 2 < 0

8.- Identifique la hipótesis y la tesis de las siguientes proposiciones y escríbalas usando la forma
“si…entonces”, sin cambiar su significado.
a) Un número es par si termina en 2
b) Un triángulo equiángulo debe ser equilátero
c) Un triángulo es isósceles siempre que dos de sus ángulos sean iguales.
d) Para que dos triángulos sean semejantes es suficiente que tengan dos ángulos
respectivamente iguales.
e) Un entero es múltiplo de 6 sólo si es un número par.

9.- Utilizando tablas de verdad, demuestre las siguientes equivalencias:

a) ( p → q ) ⇔ p′ ∨ q
b) ( p → q ) ⇔ q′ → p′
′
c) ( p → q) ⇔ p ∧ q′

d) ( p ↔ q) ⇔ ( p → q) ∧ (q → p)

10.- Si A = {1, 2 , 3 , 4 }es el conjunto universo, determine el valor de verdad de las siguientes
proposiciones:
a) ∀x : x + 3 < 6
b) ∀x : x 2 − 10 ≤ 8
c) ∃x : x + 8 < 6

d) ∃ x : 2 x 2 + x = 15

11.- Niegue las proposiciones del ejercicio 5.-

12.- Niegue los siguientes enunciados:

a) ∃ x, ∀ y : ( p ( x, y ) → q (x, y ))

b) ∀ x, ( p (x ))′ ∧ q ( x )
c) (∃ y , p ( y )) → (∀ x, p ′ (x ))
d) ∃ y , p ( y ) → (∀ x, p ′ ( x ))

13.- Enuncie la proposición recíproca, la contra-recíproca y la contraria de cada uno de los

siguientes condicionales y determine su validez:
a) (a = 2 ∧ b = 5 ) → ( ab = 10 )

b) Si dos rectas de un plano son paralelas entonces las rectas no se cortan.

c) Si dos triángulos son congruentes entonces las medidas de los ángulos correspondientes son
iguales.
d) (a = 2 y b = 5) → ( a + b = 8)

e) ( ab = 0 ) → ( a=0 ∨ b=0 )

14.- Escriba las siguientes proposiciones en forma simbólica, niéguelas y luego escriba estas
negaciones en lenguaje común:
a) Todo número real se puede escribir en forma decimal.
b) Dado cualquier número real positivo, hay un número natural que es mayor que él.
c) Entre dos reales siempre hay otro real.
e) Dado cualquier real, existe otro real que multiplicado por él da 0.
f) Dado cualquier real, existe otro real que sumado a él da 0.
g) El cuadrado de cualquier número real es positivo o 0.
h) Existen números reales que elevados al cubo son iguales al doble del número.
i) Existe por lo menos un número real cuya raíz cuadrada no es real.
j) La ecuación 2 x + 6 = 0 tiene una única solución real.
15.- Escriba las siguientes proposiciones en lenguaje corriente y determine su valor de verdad:
a) ∃x ∈ tal que 2 x − 2 = 22− x

( x + 2)
2
b) ∀x ∈ , ≠ x2 + 4

c) ∃x ∈ tal que x + 2 < 9

d) ∀x ∈ , 2x + 3 > 5

16.- Exprese los siguientes conjuntos por extensión o comprensión, según corresponda:
a) A = {2 x : x ∈ , x ≤ 4} b) C = {3 x : x ∈ , x < 3}

c) D = {− x : x ∈ , −2 ≤ x < 5} d) H = {10,100,1000,10000,....}

17.-Demuestre que si A, B, C son conjuntos, entonces:

a) A ∩ ( B ∪ C ) = ( A ∩ B) ∪ ( A ∩ C )

b) ( A − C ) − ( B − C ) = ( A − B) − C
c) ( A − B )× C = ( A × C ) − ( B × C )
d) ( A ∩ B )× C = ( A × C ) ∩ ( B × C )
( A ∩ B)
c
e) = Ac ∪ B c

( A ∪ B)
c
f) = Ac ∩ B c

18.- Demuestre que si A, B, X , Y son conjuntos, se verifican los siguientes teoremas:

a) A ⊆ B ⇒ A∩ B = A d) A ⊆ B ⇔ B c ⊆ Ac
b) A ⊆ B ⇒ A∪ B = B e) A ∩ B = φ ⇔ A ⊆ B c ∧ B ⊆ Ac
c) A− B = A ⇒ A∩ B =φ

19.- Se sabe que # ( A ∪ B ) = # A + # B − # ( A ∩ B ) , determine # ( A ∪ B ∪ C ) .

Nota: # P = cardinalidad de P = número de elementos de P .