EJERCICIOS

1.- Demostrar que:

a) p ~q ↔ ~(p → q) b) p ↔ (q v ~q) →p
c) ~ [~ (p q) →~q ] v q ↔ q
2.- Simplificar y representar mediante Circuito:
a) ~ [ p ↔ ~(q v r) ] b) ~(p) ↔ (p → ~ q)
R: p Λ (q v r) R: ~ p v p

a) (p v q) → [(~p v q) → (p  q) ] R: p v ~ q

3.- Determinar si a) y b) son proposiciones

equivalentes:
a) p → (r v ~ q) b) (q → ~p) v ( ~r → ~ p)
Nota: Se puede determinar la equivalencia mediante la tabla de
verdad o mediante la simplificació n.
EJERCICIOS
4.- Demostrar que las siguientes equivalencias son tautológicas:
1. [(p→q) → (r→s)] ↔ ~(~s→~r)→~(~q→~p)
2. [(p→q)→r] ↔ [(pr)  (~qr)]
3. [(pq)  r]  s ↔ ~[~(pq)→r] → s
4. ~(pqr) ↔ ~p~q~r
5. p→[~p→(q→r)] ↔ (p~pq)→r
5.- Responda las siguientes preguntas:
6.¿Cuál es la relación entre bicondicional y equivalencia?
7.¿Qué es una tautología? ¿Qué cosas pueden ser tautológicas?
8. ¿Cuál es la relación entre lógica proposicional y teoría de
conjuntos?
9. ¿Podemos leer lógicamente las equivalencias usando las tablas de
verdad? ¿Cómo? Dé unos ejemplos.
10. Si lo son ¿en qué sentido son importantes los principios lógicos?
¿qué correcciones le harías a los principios lógicos?
1)

a) p  ~q ↔ ~( p → q)
V F F V V V V F
V V V V V F F V
F F F V F V V F
F F V V F V F F

Rpta: vvvv

b)p ↔ (q v ~q) →p
v v v v f f v
v v f v v v v
f f v v f v f
f f f v v v f

rpta: fvvv
 c)~ [~ (p q) →~q ] v q ↔ q
~ [ ~p v ~q →~q ] v q ↔ q
f f f f v f v v v v
f f v v vv v f v f
v v v f f f v v v v
f v v v v v v f v f

rpta : vvvv
2)

a- ~ [ p ↔ ~(q v r) ]
~ [ p ↔ ~q  ~r ]
v v f f f f
v v f f f v
v v f v f f
f v v v v v
f f v f f f
f f v f f v
f f v v f f
v f f v v v

rpta: v v v f f f f v
b- ~(p) ↔ (p → ~ q)
f v v f f
f f v v v
v v f v f
v v f v v

rpta: v f v v

c- (p v q) → [(~p v q) → (p  q) ]
v v v v f v v v v v v
v v f v f f f v v f f
f v v f v v v f f f v
f f f v v v f f f f f

rpta: v v f v
 3) utilizando la def. del condicional :

A→B =~B v A

a) p → (r v ~ q) b) (q → ~p) v ( ~r → ~ p)
~P v (r v ~q) (~q v ~p) v (~~r v ~p )
~p v r v ~q ~p v r v ~q
Son equivalentes
4) p=V q=F r=V s=F

1- [(p→q) → (r→s)] ↔ ~(~s→~r)→~(~q→~p)

v f v f v f v f

F → V ~
v F ~ v F

v
↔

→
v

v
2- [(p→q)→r] ↔ [(pr)  (~qr)]
V F V V V V

F V V V

V V

V
3- [(pq)  r]  s ↔ ~[~(pq)→r] → s
V F V F

V F V
V V

F V F
V F

V V

V
4- ~(pqr) ↔ ~p~q~r
V F F V

F V V V

V F V

V
 5- p→[~p→(q→r)] ↔ (p~pq)→r
F V V F

F V F F

F V
V V

V V

5
a) ¿Cuál es la relación entre bicondicional y equivalencia?
 La bicondicional es un conectivo lógico también llamado la doble implicancia
que es verdadera en el caso de que ambos componentes tengan el mismo valos
de la verdad y falso en los otros casos lo cual en contexto la doble implicancia
representa la equivalencia lógica entre dos preposiciones

b) ¿Qué es una tautología? ¿Qué cosas pueden ser tautológicas?

La tautología solo presenta valores de verdad y las cosas que pueden ser
tautológicas son la cosas que son idénticas o que una tabla resulte todo
verdadero .
C) ¿Cuál es la relación entre lógica proposicional y teoría de
conjuntos?

Existe una relación muy estrecha entre la Teoría de Conjuntos y la

Lógica Proposicional. Además, el conjunto vacío se corresponde con
una contradicción y el conjunto universal con una tautología.
enunciar proposiciones logicas relativas a objetos matemáticos.

D ) ¿Podemos leer lógicamente las equivalencias usando las tablas

de verdad? ¿Cómo? Dé unos ejemplos.

Si podemos leer si Una proposición es lógicamente equivalente a otra

 cuando cada una de las asignaciones de valores de verdad a las
proposiciones simples que las componen genera el mismo valor de
verdad en ambas proposiciones. En otras palabras, dos expresiones son
lógicamente equivalentes si sus tablas de verdad son iguales.
Como por ejemplo: las prepociones que tienen conectores lógicos ya
sea disyuntivas , bicondicional , condicional etc

a) No vi la película pero leí la novela.

b)Ni vi la película ni leí la novela.
c) No es cierto que viese la película y leyese la novela.
d)Vi la película aunque no leí la novela.

E ) Si lo son ¿en qué sentido son importantes los principios lógicos?

¿qué correcciones le harías a los principios lógicos?

Es importante porque se ocupa de la validez de las inferencias y

Construye lenguaje formalizados para el análisis de dichas inferencias
 ¿qué correcciones le harías a los principios lógicos?

Ninguno ya que tienen leyes y reglas que determinan sin una inferencia tiene
validez o no