Facultad de Ciencias Exactas Universidad Nacional de Salta

Carreras: LER - LF - TUES - PM - TEU Año 2017

Introducción a la Matemática
TRABAJO PRÁCTICO N 1: Nociones de Lógica y Conjuntos

Objetivos
El estudiante deberá ser capaz de:
Traducir proposiciones del lenguaje verbal al lenguaje simbólico y viceversa.
Comprender, acabadamente, el concepto de implicación lógica como elemento fundamental para el
proceso de razonamiento y demostración matemática.

Determinar condiciones necesarias, su…cientes o necesarias y su…cientes.

Demostrar o refutar proposiciones usando distintos métodos.
Operar con conjuntos para resolver diversas situaciones.

Duración: Doce (12) horas.

.............................................................................................................................................................

1. Analiza cuáles de las siguientes expresiones son proposiciones e indica su valor de verdad.
(a) Gabriel García Marquez escribió "Cien Años de Soledad"
(b) x+y 5
(c) 6 es un número primo
(d) ¿Te vas?
(e) 3+2=6
(f) x=2
(g) No hay ningún número primo entre 31 y 41
(h) x=2
(i) 1 es un número entero, pero 2 no lo es
p
(j) 4 es un número entero o 3 es un número irracional.

2. Sean p, q, r y s las siguientes proposiciones:

p : Existe el Premio Nobel de Informática q : Dolly fue la primer oveja clonada
r : El átomo es una molécula s : 0 es un número racional.

(a) Traduce las siguientes expresiones al lenguaje común y determina su respectivo valor de verdad.
i. (r_ s) ^ q ii. ( s ) q) _ q
iii. ( p ^ s^ r) ) q iv. r ) ( q_ p) .
(b) Simboliza las siguientes proposiciones y determina el valor de verdad de cada una:
i. El átomo es una molécula pero 0 es un número irracional
ii. Existe el Premio Nobel de Informática o Dolly fue la primer oveja clonada
iii. Si 0 es un número racional entonces existe el Premio Nobel de Informática
iv. Dolly fue la primer oveja clonada si y sólo si el átomo es una molécula

3. (a) Prueba que p ) (p _ q) es una T autolog{a.

(b) Analiza las siguientes proposiciones lógicas e identi…ca las contradicciones, las leyes lógicas (o
tautologías) y las contingencias.
i. ( q _ p) , (q ) p) ii. [p ) (p _ q)]
iii. (q ^ p) , ( q_ p) iv. (p ^ q) ) p .
(c) Sabiendo que (p ^ q) es verdadero, indica el valor de verdad de cada proposición siguiente:
i. p_ q ii. q ) [( p) ^ (p_ q)]
iii. (q_ p) ) (p^ q) iv. (p^ q) ) p .

1
4. Considera las siguientes proposiciones:
(a) q) p (b) p) q (c) q) p (d) q^ p
(e) q^ p (f) (q^ p) (g) q_ p (h) p^ q .

i. ¿Alguna de las proposiciones dadas es la recíproca de q ) p?

ii. ¿Alguna es la contrarrecíproca de p ) q?
iii. ¿Cuál proposición es lógicamente equivalente a q ) p?

5. (a) Traduce al lenguaje simbólico y analiza el valor de verdad de las siguientes proposiciones:
i.Algunos los números racionales son reales
ii.Todos los enteros positivos son números primos
iii.Existen personas puntuales y honestas
iv. Toda persona que mide menos de 1:60 m. de altura y sobrepasa los 70 kg, está excedido
de peso
v. Existen mamiferos que ponen huevos pero ninguno tiene plumas.
(b) Niega en palabras y en símbolos las proposiciones dadas en (a).

6. (a) Escribe el conjunto de verdad de las siguientes formas proposicionales:

i. p(x) : (2x 4):(1 + 5x) = 0 ii. r(x) : (x2 = 121) _ ( x2 + 3x = 10)
iii. s(x) : (x3 27 = 0) ^ x 0 .
(b) Determina el valor de verdad de las implicaciones siguientes
x
i. 8x 2 Z : x 2 = 2 ) = 8
2
ii. 8x 2 R : x2 = 1 ) x = 1
iii. 8x 2 N : (x = 2p + 1) ) x3 = 2w + 1 (p; w 2 N0 ) .
7. Sean las siguientes implicaciones:
(a) Si un número es entero negativo, entonces es racional
(b) Es necesario que un número sea múltiplo de 6 para que sea divisible por 12
(c) Si las diagonales de un cuadrilatero son perpendiculares, este es un rombo
(d) T es triágulo rectángulo si x2 + y 2 = z 2
(e) 8x 2 R : x2 = 0 ) x = 0

i. Identi…ca antecedente y consecuente, y escríbelas en forma simbólica

ii. Determina el valor de verdad de las implicaciones dadas y de sus recíprocas
iii. De acuerdo a los resultados obtenidos en ii., indica si el antecedente de la proposición
dada es su…ciente pero no necesario, necesario pero no su…ciente o necesario y su…ciente
para el consecuente
iv. Escribe las implicaciones contraria y contrarreciproca de las dadas, en símbolos y en forma
coloquial, determinando sus respectivos valores de verdad
v. Niega las proposiciones dadas símbólica y coloquialmente.

Nota: El siguiente cuadro te será de utilidad llamando p ) q a la implicación dada o directa:

v [p ) q] v [q ) p] p: antecedente; q: consecuente
V V p es condición necesaria y su…ciente para q
V F p es condición su…ciente para q; pero no necesaria
F V p es condición necesaria para q; pero no su…ciente
F F p no es condición necesaria ni su…ciente para q .
8. Para las implicaciones dadas, demuestra las verdaderas y refuta las falsas. Aplica el método que
consideres conveniente.
(a) Si el cubo de un número natural es impar, ese número es impar
(b) 8x 2 R : x2 + 5x 4 = 0 ) x = 1
(c) Dos números son impares sólo si su suma es impar
(d) 8u; v 2 R : u = v ) u2 v 2 = 0
(e) Sólo si al menos uno de dos números dados es par su producto será par.

2
 9. Describe, por extensión, los siguientes conjuntos:
(a) A = fx 2 Z : x2 + 1 39g
(b) B = fx=x es un número natural tal que su cuadrado es menor que su cuádrupleg
(c) C = fx=x es un Parque Nacional de la provincia de Salta o de Jujuy o de Tucumáng.
10. Expresa, por comprensión, los siguientes conjuntos:
(a) A = f 4; 3; 2; 1; 0; 1; 2; 3; 4; 5g
(b) B = f23; 29; 31; 37; 41; 43; 47g
(c) D = fAmérica, África, Antártida, Asia, Europa, Oceaníag .
11. Sean A = f10; 12; 14g , B = fx 2 N : x es un número par menor que 20g , C = f9; 25; 49g
y D = fx 2 N : x es un cuadrado perfecto menor que 50g. Considera estos conjuntos y:
(a) Decide cuáles son subconjuntos de algún otro
(b) Encuentra todos los conjuntos disjuntos.
12. Determina, en cada caso, cuáles de las siguientes relaciones se cumple: A B , B A , A = B o
ninguno de los tres casos.
(a) A = fx 2 Z : 2x + 12 = 2x2 B = f3g
(b) A = fx 2 N : 3x + 20 = 2x 10g B = f6g
3
(c) A = fx 2 R : 5x + 8x = 2xg B = fx 2 R : (x2 x):(x2 2) = 0g .
13. Decide si las siguientes a…rmaciones son verdaderas o falsas.
(a) 4 2 fx 2 N : x es un número par g (b) fa; b; cg 2 fc; e; t; b; y; a; gg
(c) f5g ft; o; p; f3g; j; f5gg (d) ff1g; f4; 2gg ff1g; 8; 0; f4; 2g; 12g
(e) f5; 11; 19g fx 2 N : x es un número primog (f) fx; yg 2= fa; y; g; m; x; ng .
14. Sea U = fa; b; c; d; e; f; g; h; i; j; kg el conjunto universal. Además A = fa; e; ig , B = fa; b; c; eg ,
C = fc; d; e; h; ig y D = ff; j; k; a; bg conjuntos. Realiza las siguientes operaciones:
(a) A[B (b) B C (c) (B [ C) \ A (d) (A \ B)C
(e) (C C \ D) [ (A \ B C ) (f) A C
DC (g) CC B (h) (D \ U ) (A [ U ) .
15. Dados los conjuntos T = f 1; 0; 1; 2g, M = f 3; 1; 2; 3; 4g, N = f 4; 3; 2; 1; 1g y tomando
como U = x 2 Z =x2 36 , prueba por extensión que se cumplen las siguientes identidades:
C C
(a) TC [ M =T M (b) NC \ M = MC [ N
(c) M \ T = (M [ T )C .
C C

16. Sean M = ffa; bg; fa; b; cg; a; bg y N = ffa; bg; a; b; c; fb; cgg: Decide si las siguientes proposiciones
son verdaderas o falsas:
(a) fbg M \ N . (b) fa; bg N \ M (c) fbg 2 N \ M
(e) fa; b; cg M [ N (f) a2M \N (g) ffa; bg; fa; b; cgg M [ N .
17. (a) Dados tres conjuntos diferentes A; B y C con intersecciones mutuas no vacías, representa en
un diagrama de Venn las siguientes operaciones:
i. (A [ B) (A \ B) ii. A (B C) iii. (Ac [ B c ) \ (C \ B) .
(b) Dados los siguientes grá…cos, indica en cada caso las operaciones que representan la parte
sombreada.

i. ii. iii.

18. Dado H = f7; 9; f7g ; ?g calcula P(H) . Decide si las siguientes a…rmaciones son verdaderas o falsas
a) f7g 2 P(H) (b) f7g P(H) (c) ?2H (d) ? H
(e) ? 2 P(H) (f) ff9g; ?g 2 P(H) (g) ff7gg 2 P(H) (h) ff7gg P(H)
(i) f7; 9g 2 P(H) (j) ? P(H) .

..............................................................................................................................................MFZ/2017