Facultad de Ciencias Exactas Universidad Nacional de Salta

!
Carreras: LER - LF - TUES - PM - TEU Año 2019
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.
Identi…car las estructuras lógicas de diferentes proposiciones compuestas.Aplicar distintos métodos
de demostración distinguiendo la conveniencia para cada caso.
Operar con conjuntos para resolver diversas situaciones.

Duración: Doce (12) horas.

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

1. Lée y analiza cada expresión indicando cuáles son proposiciones. A las que lo sean, clasifícalas en
simples o compuestas y establece su valor de verdad.
2 3
(a) El día 14 de marzo de 2019 es jueves (b) <
3 4
(c) No eres de este siglo, si tienes mas de dos décadas (d) No interrumpa!
(e) Los argentinos son corruptos o sobervios (f) Nadie miente
(g) Si me inscribo en la Universidad, tendré un título de grado (h) ¿Qué carrera estudias?
25
(m) x > 2 (j) =0
0
(k) Por favor, necesito que me prestes un libro hasta mañana (l) 997 es un número primo
3 1 1
(i) Hay crisis en las universidades de Argentina por el bajo (n) < .
5 2 4
presupuesto universitario para 2019.
2. Considera a p, q, r y s como proposiciones simples Verdaderas

p: Estudio la teoría
q: Completo la resolución del trabajo práctico en casa
r: Apruebo el parcial
s: No falto a clases.

(a) Traduce las siguientes expresiones al lenguaje común y determina su respectivo valor de verdad.
i. (r_ s) ^ q ii. ( s ) q) _ p
iii. (p^ s ^ r) ) q iv. ( q_ p) ) r .
(b) Simboliza las siguientes proposiciones y determina el valor de verdad de cada una, utilizando
las proposiciones p, q , r y s anteriores.
i. Apruebo el parcial, si estudio la teoría y completo la resolución del trabajo práctico en
casa
ii. Sólo si apruebo el parcial, estudio la teoría y completo la resolución del trabajo práctico
en casa
iii. Es su…ciente que estudie la teoría, para aprobar el parcial
iv. Apruebo el parcial, si estudio la teoría o completo la resolución del trabajo práctico en
casa
v. Ni completo la rsolución del trabajo práctico en casa, ni estudio la teoría pero apruebo el
parcial.
3. (a) Completa las siguientes proposiciones para que sean verdaderas, considerando propiedades
características de cada operación.
i. Si cambiamos el orden de dos proposiciones en una conjunción, o una disyunción, el valor
de verdad es el mismo, porque ...........................................................................................
ii. En una disyunción, cuando a lo sumo una proposición es falsa, el valor de verdad resultante
es ................................................................................................................
iii. En la implicación, si antecedente y consecuente son falsos, el valor de verdad es .....................
iv. Si el antecedente de una implicación es falso, la implicación ...................................................
v. Si el antecedente de una implicación es verdadero, la implicación ..........................................

1
 (b) Decide, mediante tablas de verdad, si las siguientes proposiciones son tautologías, contradic-
ciones o contingencias.
i. (p ^ q) ) (p _ q) ii. [(p =) r) ^ (q ) r)] , [(p _ q) ) r]
iii. (p ) q) () (p^ q) iv. [(p =) q) _ (p ) r)] , [p ^ (q _ r)]
v. (s p =) q) () (q _ p) vi. [(s p ^ r) =) q] () [s (p_ s r) ^ s q] .
(c) Sabiendo que ( p ) q) es f also, indica el valor de verdad de cada una de las proposiciones
siguientes:
i. p_ q ii. (q_ p) ) (p^ q)
iii. q ) [( p) ^ (p_ q)] iv. (p^ q) ) p .
(d) Sabiendo que ( r _ s) es f also, indica el valor de verdad de cada una de las proposiciones
siguientes:
i. r _ s ii. (r_ s) ) (r ^ s)
iii. r ) [s _ (r^ s] iv. (r^ s) ) q .
4. Escribe en cada caso la proposición pedida:

(a) La reciproca de q ) p
(b) La contrarrecíproca de (p _ q) ) q
(c) La implicación contraria de (q ^ r) ) ( p_ r)
(d) La negación de la contrarrecíproca de (q^ s p) ) r
(e) Dos proposiciones lógicamente equivalentes a p ) q .

5. (a) Traduce al lenguaje simbólico y analiza el valor de verdad de cada proposición.

i. Sólo si el número es racional, es un número entero
ii. Existen personas puntuales y honestas
iii. Algunos números enteros son pares
iv. Ningún número racional es negativo
v. El cuadrado de todo número real es positivo
vi. No es cierto que si un número es par entonces no es número primo.
(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 = 9)
3
iii. s(x) : (x 8 = 0) iv q(x) : (x 5)2 :(6 2x) = 0 .
(b) Determina el valor de verdad de las implicaciones siguientes
i. 8x 2 Z : x2 2 = 2 ) x = 2
ii. 8x 2 R : x = 1 ) x2 = 1
iii. 8x 2 R : x > 0 ) x2 > 0
iv. 8x 2 R : x2 > 0
v. 8x 2 N : (x = 2p + 1) ) x3 = 2w + 1 [p; w 2 N0 ] .
(c) Sean las implicaciones:
i. Si la suma de dos números es par, éstos son pares.
ii. Sólo si un número entero es múltiplo de seis, es múltiplo de tres
iii. El alumno que obtenga al menos 60 puntos, no recupera el parcial.
1) Identi…ca antecedente y consecuente, y escríbelas en forma simbólica.
2) Determina el valor de verdad de las implicaciones dadas y de sus recíprocas.
3) De acuerdo a los resultados obtenidos en 2), indica si el antecedente de la implicación
dada es su…ciente pero no necesario, necesario pero no su…ciente o necesario y su…-
ciente para el consecuente.
4) Escribe las implicaciones contraria y contrarreciproca de las dadas, en símbolos y en
forma coloquial, determinando sus respectivos valores de verdad.
5) Niega las proposiciones dadas símbólica y coloquialmente.

2
 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 .

7. Dadas las siguientes implicaciones, demuestra las verdaderas y refuta las falsas. Enuncia y aplica
el método que consideres conveniente.

(a) Si un número entero es múltiplo de cinco, entonces es divisible por cinco

(b) 8x 2 R : x2 + 5x 4=0 ) x=1
2
(c) 8u; v 2 R : u = v ) u v2 = 0
p
(d) 2 2 es irracional
(e) La suma de dos números es par, si los dos sumandos son impares
(f) Si la diferencia entre los cuadrados de dos números es cero entonces ellos son iguales (*)
(g) Sólo si 2 + x es par, x es par. (*)

8. (a) Escribe, por extensión, los siguientes conjuntos:

i. A = fx 2 Z : x2 1 24g
ii. B = fx=x es capital de un país sudamericano}
iii. C = fx 2 N : 3x 1 = 0g
iv. D = fx=x es un número natural menor que 5, tal que su cuadrado es mayor que su dobleg
v. E = x 2 Q = x2 = 1
(b) Expresa, por comprensión, los siguientes conjuntos:

i. M = f 4; 3; 2; 1; 0; 1; 2; 3; 4g ii. N = f1; 2; 4; 8; 16; :::g

iii. ~ = fJujuy, Salta, Tucumán, Catamarca, Santiago del Estero, La Riojag
N iv. O = fg .

9. Sabiendo que: A = fx 2 Z : 3 < x < 3g y B = fx 2 Z : 4 < x < 0g, encuentra

(a) A \ B (b) A [ B (c) AC (d) A B (e) B C 4A .
10. Determina, en cada caso, cuál de las siguientes relaciones se cumple: A B ,B A,A=B o
ninguna de las tres.
(a) A = fx 2 Z : 2x + 12 = 2x2 g B = fx 2 Z : 3x 8 = 1 _ x + 2 = 0g
(b) A = fx 2 N : 3x + 20 = 2x 10g B = f6g
4
(c) A = fx 2 R : x 4x2 x3 + 4x = 0g B = fx 2 R : x(x 1):(x2 4) = 0g
(d) A = fx 2 Z : 2x < 4g B = fx 2 Z : x 0g .
11. 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 .
12. 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) CC B
(e) (A \ B)C (f) AC DC (g) (C C \ D) [ (A \ B C ) (h) (D \ U ) (A [ U ) .
13. 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 , veri…ca que se cumplen las siguientes identidades:
C C
(a) TC [ M =T M (b) NC \ M = MC [ N (c) M C \ T C = (M [ T )C .
14. 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 )
(d) fa; b; cg (M [ N ) (e) a 2 (M \ N ) (f) ffa; bg; fa; b; cgg (M [ N ) .
3
15. (a) Dados tres conjuntos diferentes A; B y C; con intersecciones mutuas no vacías, identi…ca en
cada diagrama de Venn el resultado de las siguientes operaciones:
i. A (B [ C) ii. (A [ B) C iii. (AC [ B) \ C .

i. ii. iii.

(b) Indica las operaciones que representan la parte sombreada de cada uno de los siguientes grá…cos

i. ii. iii.

16. (a) Siendo A = f2; 5; 7g, y P (A) el conjunto de partes de A; indica la verdad o falsedad de las
siguientes proposiciones:
i. f5; 7g 2 A ii. f5; 7g 2 P (A) iii. f5; 7g A iv. f5; 7g P (A) v. f5g A
vi. f5g 2 A vii. f5g 2 P (A) viii. f5g P (A) ix. ? A x. ? P (A) .
(b) Determina si las a…rmaciones son verdaderas o falsas. Justi…ca tu respuesta.
i. (A = fg) ) (P (A) = ?) iv. (A \ B = ?) ) (P (A) \ P (B) = ?)
ii. B = ? ^ P (B) = f?g v. B = ff1; 2g ; 3g ^ f1g P (B)
iii. (A B) ) (P (A) P (B)) vi. (f5g A) ) (f5g 2 P (A)) .

(*) Ejercicios de resolución optativa

.......................................................................................................................................TP-NGM/2019