Matemática TSP Trabajo Práctico nº 2 - Comisión 2 Prof: Paulina Romero

1º Explique razonamiento deductivo válido

2º Explique condición necesaria, condición suficiente y condición necesaria y suficiente

3º Enuncie las implicaciones lógicas

4º Defina conjunto por extensión y por comprensión

5º Simplifique las siguientes proposiciones:

a-) [(˜p v ˜q) → ( p ᴧ q ᴧ r)]

b-) (p → q) ᴧ [˜q ᴧ (r v ˜q)])

c-) (p → r) ᴧ (q →r)

d-) [p ᴧ (r v q v ˜q)] v [(r v t v ˜r) ᴧ ˜q]

e-) [p v (p ᴧ q) v (p ᴧ q ᴧ ˜r)] ᴧ [(p ᴧ r ᴧ t) v t]

6º) Haciendo uso de leyes lógicas, demuestre la ley lógica de absorción (optativo, no obligatorio)

7º) Establezca la validez de los siguientes razonamientos:

a-) p→ r b-) p →(q→r) c-) p → r d-) p →q

q→p p v –r r→s q → (r ᴧ s)
˜r q t v s r v (t v u)
q s→r t v u p ᴧ t
u
  u
p

e-) (p v q) → r f-) p g-) p  q h-) (p v –q) → (r ᴧ s)

r→svt pvq q→r r→ t
s ᴧ -u q →(r→s) r  t 
u→t t→r p p
p s → t

i-) p ᴧ q j-) p v q k-) p l-) p → q

p → (r ᴧ q) p v r p→r r → q
r →(s v t) r  p → (q v r) -(-p ᴧ t)
s
  q q v s t→s
t s r
s
8º-) Escriba por extensión y por comprensión los siguientes conjuntos:

a-) Los primeros diez dígitos

b-) Los números pares en los primeros 20 números naturales

c-) Los planetas del sistema solar

d-) Los países de Sudamérica

e-) Las 7 provincias argentinas mas pobladas

f-) Las 7 provincias argentinas mas extensas

9º) Demuestre usando propiedades o definiciones que:

a-) A – B = A – (A  B) = (A  B) – B b-) (A  B) – C = (A – C) (B – C)

10º) Obtenga la gráfica y sombree lo que se indica a continuación. Sean los conjuntos A, B y C:

a-) A ∩ B ∩ C b-) A’U (B ∩ C) c-) B’– (A U C)

d-) A – (A ∩ B) e-) (A U B U C) – (A ∩ B ∩ C) f-) (A ∩ B ∩ C)´ U B

11º) Sean los conjuntos:

A: primeros diez números naturales

B: números primos desde el 1 al 50

C: los primeros 20 números enteros impares

Obtener por extensión, y realizar las siguientes operaciones en forma gráfica y analítica:

a-) A U B b-) A´ ∩ C

c-) A´ U (B ∩ C) d-) B-C´ e-) (A U B)´ ∩ C