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-) (pq) 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 vq) (p vt 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
pq 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.