INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI

MATEMÁTICA I

Trabajo Práctico N°1

A continuación, veremos una serie de ejercicios que refieren a los temas vistos hasta ahora en
clase.

1- Siendo:
p: Juan es feliz.
q: Juan estudia lo que le interesa.
r: Juan realiza un trabajo que le agrada.

Enunciar en forma coloquial, las siguientes proposiciones simbólicas,

a- p ↔ (q ∨ r)
b- (p ∧ q) → r

R: a: Juan es feliz, si y solo estudia lo que quiere o realiza un trabajo que le agrada

b: Juan es feliz si estudia lo quiere, entonces realiza un trabajo que le agrada.

2- Expresar en forma simbólica las siguientes proposiciones coloquiales, teniendo en cuenta que,

p: estudio lógica.
q: estudio matemática.

a- Yo estudio lógica pero no matemática.

b- Yo estudio lógica o matemática, pero no ambas.
c- Es falso que, yo estudie matemática o lógica.
d- No es cierto que, si estudio lógica entonces no estudio matemática.

3- Si p, q, r son proposiciones verdaderas y s, t, u son falsas, decir, ¿cuál o cuáles de las siguientes
proposiciones compuestas son verdaderas?

a- ~( p ∨ s ) ∧ ~( q ∧ t )
b- ~[( p ∧ ~q ) ∨ p ] ∨ p
c- ~{[s ∨ ( t ∧ u )] ∧ ~[( s ∨ t ) ∧ ( s ∨ r )]}

4- Verificar si la información dada es suficiente para encontrar el valor de verdad de las siguientes
proposiciones,

a- ( p ∧ q ) → ( q ∧ ~p )

V
b- ( p ↔ q )∨(~q∧r)
F F
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I
c- ~( p ∧ q ) → ~q ∨ ~s sabiendo que p ∨ q es falsa

5- Construir las tablas de valores de verdad de las siguientes proposiciones compuestas,

a- ~( p ∨ q ) → r
b- b- ~[( p ∨ q ) → r ]

6- Las siguientes, son equivalencias. Demostrarlo por medio de tablas de valores de verdad.

a- p ∧ ( q ∨ r ) <=> ( p ∧ q ) ∨ ( p ∧ r )
b- ~p ∧ ( ~q ∧ q ) <=> ( ~q ∧ q )
c- ( ~p → q ) <=> ~( ~p ∧ ~q )

7- ¿A cuál de las siguientes proposiciones es equivalente la proposición p?

a- p ∨ q b- p ∨ ~p
b- ~p → p
c- p → ~p
d- ( q ∨ ~q ) → p

8- Generar las tablas de valores de las siguientes proposiciones y decir si son tautología,
contradicción o contingencia.

a- {[( ~p → r ) ∧ t ] → p } ∨ ( ~r ∨ r )
b- b- ( p ∧ ~p ) ∧ ( t → ~s )

9- Siendo:
p: James Bond es un agente especial. q: James
Bond se encuentra en una misión especial.
r: James Bond no rescatará a cientos de personas.
Expresar en forma simbólica las siguientes expresiones coloquiales,
a) Si James Bon rescatará a cientos de personas entonces, es un agente especial y se
encuentra en una misión especial.
b) James Bond es un agente especial y está en una misión especial, si rescatará a cientos de
personas.
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I
c) James Bond rescatará a cientos de personas solo sí, se encuentra en una misión especial y
es una agente especial.
d) Si James Bond no rescatará a cientos de personas entonces, no es cierto que, se encuentra

en una misión especial y es un agente especial.

e) James Bond es un agente especial y rescatará a cientos de personas, sí y solo sí se
encuentra en una misión especial.
f) James Bond no rescatará a cientos de personas solo sí, no es un agente especial o no está
en una misión especial.
g) No es cierto que, James Bon es un agente especial y se encuentra en una misión especial,
pero rescatará a cientos de personas.

10- Teniendo en cuenta las proposiciones del ejercicio anterior, escribir en forma coloquial las
siguientes proposiciones simbólicas,

a- ~( p ∨ q ) → r

b- ~( p → q ) ∨ ~r

c- ~r ∧ ( q → p )

d- ( p  q ) ∨ ( ~q  ~p )

11- Para cada inciso hay cierta información. Verificar si es suficiente para calcular el valor de
verdad de las siguientes proposiciones simbólicas,

a- w ∧ x → ~p ∨ r sabiendo que ~( p ∨ q ) es V

b- w ∧ r → t ∧ h sabiendo que ~r → p es F

c- ~p ∨ q  r → z sabiendo que ~r → p es F

d- ~ ( ~p ∧ t ) ∧ ( t → p ) sabiendo que p → r es F

e- { w ∧ ~[~( ~q ∧ t ) ∨ ( w → z )]} → p sabiendo que q es V

f- ~[( ~p ∨ ~q ) → ( r ∧ p )] ∧ t sabiendo que p es F

12- Dadas las siguientes proposiciones compuestas, determinar cuáles de las siguientes
proposiciones con tautología, contradicción o contingencia,

a- [ ~p → ( q ∧ r )] ∧ ~[ ~p → ( q ∧ r )]
b- ~( ~p  q ) ∨ ( ~q ∧ s ) → p ∨ ~s
c- ~[~( ~s ) → r ] ∨ ~[( s ∧ ~r ) ∨ ( p ∨ ~p )]
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I
d- ~p ∧ ( ~q → s )  ~( ~s ∨ p ) ∨ ~( p ∨ ~q )
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I
Respuestas.

a- Siendo
p: Juan es feliz. V
q: Juan estudia lo que le interesa. V
r: Juan realiza un trabajo que le agrada. V

a: Juan es feliz, si y solo estudia lo que quiere o realiza un trabajo que le agrada

b: Juan es feliz si estudia lo quiere, entonces realiza un trabajo que le agrada.

b- Expresar en forma simbólica las siguientes proposiciones coloquiales, teniendo en cuenta

que,

p: estudio lógica.
q: estudio matemática.

e- Yo estudio lógica pero no matemática.

f- Yo estudio lógica o matemática, pero no ambas.
g- Es falso que, yo estudie matemática o lógica.
d- No es cierto que, si estudio lógica entonces no estudio matemática.

P Q ~Q P^~Q
V V F F
V F V V
F V F F
F F V F

F
P Q PvQ ~P ~Q ~P^~Q
V V F F F F
V F F F V F
F V F V F F
F F V V V V

G
P Q ~P ~Q ~Pv~Q
V V F F F
V F F V V
F V V F V
F F V V V

D
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I
P Q ~P ~Q ~P→~Q
V V F F V
V F F V V
F V V F F
F F V V V

c-

a- ~( p ∨ s ) ∧ ~( q ∧ t ) : Falso
b- ~[( p ∧ ~q ) ∨ p ] ∨ p : Verdadero
c- ~{[s ∨ ( t ∧ u )] ∧ ~[( s ∨ t ) ∧ ( s ∨ r )]} : Falso

p Q s t ~p ~q ~s ~t ~( p ∨ s ) ~( q ∧ t ) ~( p ∨ s ) ∧ ~( q ∧ t )
V V V V F F F F F F F
V V V F F F F V F F F
V V F V F F V F V F F
V V F F F F V V V F F
V F V V F V F F F F F
V F V F F V F V F V F
V F F V F V V F V F F
V F F F F V V V V V V
F V V V V F F F V F F
F V V F V F F V V F F
F V F V V F V F V F F
F V F F V F V V V F F
F F V V V V F F V F F
F F V F V V F V V V V
F F F V V V V F V F F
F F F F V V V V V V V

d-

a- ( p ∧ q ) → ( q ∧ ~p )

V
b- ( p ↔ q )∨(~q∧r)
F F

c- ~( p ∧ q ) → ~q ∨ ~s sabiendo que p ∨ q es falsa

p q (p^q) (q^~p) ( p ∧ q ) → ( q ∧ ~p )
V V V V V
V F F V V
F V F V V
F F F V V
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I

a) La información es suficiente para encontrar el valor de verdad

b) Con la información brindad se puede sabemos que es falsa.
c) Primera opción: si la proposición está bien expresada el ejercicio sería suficiente con la
información brindada.
Segunda opción: es imposible realizar la proposición porque está mal expresada, faltan
paréntesis en la segundo proposición.
e-

h- ~( p ∨ q ) → r
i- ~[( p ∨ q ) → r ]
p q r ~p ~q ~( p ∨ q) ~( p ∨ q) →r
V V V F F F V
V V F F F F V
V F V F V V V
V F F F V V F
F V V V F V V
F V F V F V F
F F V V V V V
F F F V V V F

p q r ~p ~q ~r ~( p ∨ q) ~( p ∨ q) →r
V V V F F F F V
V V F F F V F V
V F V F V F V F
V F F F V V V V
F V V V F F V F
F V F V F V V V
F F V V V F V F
F F F V V V V V

f-
a- p ∧ ( q ∨ r ) <=> ( p ∧ q ) ∨ ( p ∧ r )
b- ~p ∧ ( ~q ∧ q ) <=> ( ~q ∧ q )
c- ( ~p → q ) <=> ~( ~p ∧ ~q )

p q r q∨r p∧(q∨r ) p∧q p∧r (p∧q)∨(p∧r) p∧(q∨r) <=> (p∧q)∨(p∧r )

V V V V V V V V Son equivalentes
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I
F F V V F F F F
F F F F F F F F

p q ~p ~q (~q∧q) ~p∧(~q∧q) (~q∧q) ~p∧(~q∧q)<=>(~q∧q

)
V V F F F F F Son equivalentes
V F F V F F F
F V V F F F F
F F V V F F F

p q ~p ~q (~p→q) ~(~p∧~q) (~p→q)<=>~(~p∧~q

)
V V F F V V Son equivalentes
V F F V V V
F V V F V V
F F V V F F

g-
a- p ∨ q : No es a p
b- p ∨ ~p : No es a p
c- ~p → p : Es a p
d- ( q ∨ ~q ) → p : Es a p
h-
e- {[( ~p → r ) ∧ t ] → p } ∨ ( ~r ∨ r ) :TAUTOLOGÍA
f- ( p ∧ ~p ) ∧ ( t → ~s ) : CONTINGENCIA

p t r ~p ~r (~p→r) [(~p→r) {[(~p→r)∧t] (~rVr {[(~p→r)∧t]

∧t] →p} →p}V(~rVr)
)
V V V F F V V V V V

V V F F V V V V V V
V F V F F V F V V V
V F F F V V F V V V
F V V V F V V F V V
F V F V V F F V V V
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I
F F V V F V F V V V
F F F V V F F V V V

p t s ~p ~s (p∧~p) (t→~s) (p∧~p) ∧(t→~s)

V V V F F F F F
V V F F V F V F

V F V F F F V F
V F F F V F V F
F V V V F F F F
F V F V V F V F
F F V V F F V F
F F F V V F V F

9.
a- ~r → (p∧q)
b- (p∧q) ∧~r
c- ~r<-> (q∧p)
d- r-> (~q∧~p)
e- (p∧~r)<->q
f- r<-> (~p v ~q)
g- ~p∧(q∧~r)
10.
a) No es cierto que, James Bond es un agente especial o se encuentra en una misión especial,
entonces no rescatara a cientos de personas.
b) No es cierto que, James Bond es un agente especial entonces no se encuentra en una misión
especial, o rescatara a cientos de personas.
c) James Bond rescatara a cientos de personas, y es un agente especial entonces se encuentra
en una misión especial.
d) James Bond es un agente especial solo si, se encuentra en una misión especial, o no se
encuentra en una misión especial solo si, no es un agente especial.
11.
a- w ∧ x → ~p ∨ r sabiendo que ~( p ∨ q ) es V : Si es suficiente la información

b- w ∧ r → t ∧ h sabiendo que ~r → p es F: La información no es suficiente.

c- ~p ∨ q <-> r → z sabiendo que ~r → p es F: La información no es suficiente.

d- ~ ( ~p ∧ t ) ∧ ( t → p ) sabiendo que p → r es F : La información no es suficiente

e- { w ∧ ~[~( ~q ∧ t ) ∨ ( w → z )]} → p sabiendo que q es V: La información es

suficiente.

f- ~[( ~p ∨ ~q ) → ( r ∧ p )] ∧ t sabiendo que p es F: No es suficiente la información.

12.

a- [ ~p → ( q ∧ r )] ∧ ~[ ~p → ( q ∧ r )]: Contradicción
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I
b- ~( ~p <->q ) ∨ ( ~q ∧ s ) → p ∨ ~s : Contingencia
c- ~[~( ~s ) → r ] ∨ ~[( s ∧ ~r ) ∨ ( p ∨ ~p )]: Contingencia
d- ~p ∧ ( ~q → s ) <-> ~( ~s ∨ p ) ∨ ~( p ∨ ~q ):Contingencia

p q r ~p (q∧r [~p→(q∧r)] ~[~p→(q∧r) [~p→(q∧r)] ∧~[~p→(q∧r)]

) ]
V V V F V V F F
V V F F F V F F

V F V F F V F F
V F F F F V F F
F V V V V V F F
F V F V F F V F
F F V V F F V F
F F F V F F V F

p q s ~p ~q ~s ~(~p<- (~q∧s) ~(~p<->q) v pv →

>q) (~q∧s) ~s
V V V F F F F F F V V
V V F F F V F F F V V

V F V F V F V V V V V
V F F F V V V F V V V
F V V V F F V F V F F
F V F V F V V F V V V
F F V V V F F V V F F
F F F V V V F F F V V

p s r ~p ~s ~r ~[~(~s)->r] (s∧~r) (p v ~ V
~p)
V V V F F F F F V F F

V V F F F V V V V F V
V F V F V F F F V F F
V F F F V V F F V F F
F V V V F F F F V F F
F V F V F V V V V F V
F F V V V F F F V F F
F F F V V V F F V F F

p q s ~p ~q ~s (~q -> ~p ∧ (~q -> s) ~(~s v p) ~(p v V <->

s) ~q)
V V V F F F V F V F V F
V V F F F V V F V F V F
 INSTITUTO TÉCNICO SUPERIOR CIPOLLETTI
MATEMÁTICA I
V F V F V F V F V F V F
V F F F V V F F V F V F
F V V V F F V V V V V V
F V F V F V V V V V V V
F F V V V F V V F F F F
F F F V V V V V F F F F