Matemática TSP Trabajo Práctico Nº 1 - Comisión 2 Prof: Ing.

Paulina Romero

1º Defina proposición

2º Diferencie entre proposición atómica y compuesta, y entre tautología, contradicción y

contingencia

3º Establezca la prioridad de los conectivos y del paréntesis respecto de los conectivos

4º Enuncie las equivalencias lógicas

5º Exprese simbólicamente:

a- Me gusta mucho aprender los contenidos de las materias de la facultad, pero no

estudio lo suficiente, entonces no me gusta tanto aprender
b- Mi compañero de estudio invierte muchas horas leyendo lógica, entonces el aprobará
el examen y estará tranquilo
c- Ayer he jugado un gran partido de fútbol, entonces mi mamá cocino un asado hace dos
días
d- Si Boca Juniors gana en el Bernabéu, tendrá 7 copas libertadores, pero si no gana, sus
hinchas tendrán un recuerdo imborrable.

6º Exprese en lenguaje coloquial:

a- p => (q ᴧ r) ᴧ -t b- (p v t) ᴧ (r v q) => s

c- (r ᴧ -s) => -t d- -(p ᴧ q) => (r ᴧ s)

e- p ᴧ (r ᴧ s) f- ((p ᴧ q) => r) v (s ᴧ t)

7º Construya la tabla de verdad para las siguientes proposiciones

a- - (-p => -q) b- - (p ᴧ - (q => s)

c- (p ᴧ q) => (r v s) ᴧ p d- (s v t) ᴧ -t  u

e- u => -u ᴧ t f- (r => s)  (s => t)

g- (p –V q)  - (p ᴧ q) h- (p => q) ᴧ (q =>p)  (p  q)

i- (p => q) ᴧ (q => p) => (p  q)

8º Resumir: Encontrar la proposición lógicamente equivalente.

a-) (pq) v (p  q) v (p  q) b-)  [ [ (p v q)  r ] v  q]

c-) [(p v q)  (p v q)] v q d-)  (p v q) v [(p  q) v q]

9º Dibuje el circuito lógico correspondiente:

a-) [(p  q) v (p  q) v q]  p

b-) (p v q v r)  (p v t vq)  (p vt v r)

c-) (p v q) v (p v r)

10º Simplifique las proposiciones anteriores y dibuje el circuito que corresponde.

11º Se sabe que p  q es falso: Proporcione los valores de verdad de

pq pvq q p

12º Escriba los pasos y las razones para establecer las siguientes equivalencias lógicas:

(debe realizar todos los pasos necesarios aplicando las leyes correspondientes)

a-) p v [p  (p v q)]  p

b-) p v q v (p  q  r)  p v q v r

c-) p  [(q  (r  r)) v [ q v ((r  s) v (r  s))]]  p

13º Construya las tablas de verdad para las equivalencias lógicas del ejercicio inmediato anterior.