Ejercicios de lógica (nivel elemental)

1. Primeramente se debe completar el diccionario para luego formalizar cada enunciado.

a. El árbol de palta está en el parque

Diccionario Formalización del enunciado

p:

b. No es mi primo

Diccionario Formalización del enunciado

p:

c. José recién entró a su casa y Silvia acaba de salir de compras

Diccionario Formalización del enunciado

p:

q:

d. En Argentina está la provincia de Jujuy pero Rosario no es la capital de Jujuy

Diccionario Formalización del enunciado

p:

q:

e. Si estás acuerdo con el diputado Bentrán entonces vótalo en las próximas elecciones

Diccionario Formalización del enunciado

p:

q:

f. En la calle encontramos una panadería, luego compramos un kilo de pan

Diccionario Formalización del enunciado

p:
 q:

g. Ariel vive en Haedo y Juliana en Morón, luego ambos viven en zona oeste

Diccionario Formalización del enunciado

p:

q:

r:

h. Cada vez que llueve se moja el patio

Diccionario Formalización del enunciado

p:

i. Siempre que el tío trae regalos nos ponemos muy contentos

Diccionario Formalización del enunciado

p:

j. Es muy rápido el tren que cubre la distancia entre Tokio y Senday, aunque no esté bien mantenido

Diccionario Formalización del enunciado

p:

q:

k. No es verdad que 1 + 1 es igual a 2 y que 3 + 3 es igual a 6

Diccionario Formalización del enunciado

p:

q:

l. Si bien 1 + 1 es igual a 2, no es verdad que 3 + 3 es igual a 6 o que 2 + 3 es igual a 5

Diccionario Formalización del enunciado

 p:

q:

r:

m. El cuadro de Artigas está en Montevideo, luego no es verdad que lo tiene el Louvre o el museo de
Bellas Artes de Buenos Aires

Diccionario Formalización del enunciado

p:

q:

r:

n. Juan Carlos es el rey de España, por ende los españoles tienen un rey

Diccionario Formalización del enunciado

p:

q:

o. O bien los cangrejos son mamíferos o bien no lo son

Diccionario Formalización del enunciado

p:

p. Luis no es abogado aunque sabe de leyes, por ende puede defender al acusado y enfrentarse al
fiscal de la causa

Diccionario Formalización del enunciado

p:

q:

r:

s:
q. Llueve si y solo si se juntan nubes en el cielo

Diccionario Formalización del enunciado

p:

q:

r. Como no estamos en febrero eso equivale a que no tendremos buen tiempo en este viaje

Diccionario Formalización del enunciado

p:

q:

s. O bien saldó la cuenta o bien no la saldó

Diccionario Formalización del enunciado

p:

2. Tomando en cuenta las siguientes formas lógicas, primeramente haga el diccionario y luego
conviértalas en enunciados.
-p

Diccionario Conversión en enunciado

p:

pq

Diccionario Conversión en enunciado

p:

q:

(p . q) v -r

Diccionario Conversión del enunciado

p:

q:

r:

(p v q)  (q . p)

Diccionario Conversión en enunciado

p:

q:

(p v q)  (q . p)

Diccionario Conversión en enunciado

p:

q:

(p  q) . (-q . -p)

Diccionario Conversión en enunciado

p:

q:

-(p v -p)

Diccionario Conversión en enunciado

p:

-(-p)  (p ↔ q)
 Diccionario Conversión en enunciado

p:

q:

p ↔ -(q w r)

Diccionario Conversión en enunciado

p:

q:

-[(p . -q) v (-p . q)]  [-(p v –p) . (-q v q)]

Diccionario Conversión en enunciado

p:

q:
3. Complete las siguientes tablas de verdad y haga una tilde en la casilla del resultado que obtuvo.

(p . q)  - q

Contingencia
Contradicción
Tautología

- (p v q) . - (q  - p)

Contingencia
Contradicción
Tautología

(- p . p) . (p v - p)

Contingencia
Contradicción
Tautología
- [(p v q)  (- q w r)] . -( - p)

Contingencia
Contradicción
Tautología

[(p  q) . (q  r)]  (p  r)

Contingencia
Contradicción
Tautología
[[(p . q)  - r] . r]  - (p . q)

Contingencia
Contradicción
Tautología

- (- p ↔ - p)

Contingencia
Contradicción
Tautología

- (- p ↔ - p)  (p ↔ p)

Contingencia
Contradicción
Tautología
4. Aplique el método del condicional asociado a las siguientes formas lógicas.

(p ↔ q) . -r
---
-r

(p v –p)  -q
q
---------
-(p v –p)

-(-p)
q w -q
--------
-(-p) . (q w -q)

p  -q
-q  p
---------
pp

(p . q) v (r . s)
-(r . s)
----------
(p . q)

(p v –p)  -q
-q
---------
(p v –p)

-(p  -q)  r
(p  -q)
---------
-r

5. Este ejercicio consta de cuatro pasos:

a) formalice los razonamientos (para lo cual, lo primero que debe hacer es el diccionario);
b) aplique el método del condicional asociado a la formalización obtenida;
c) confeccione y resuelva la tabla de verdad correspondiente;
d) determine si el resultado de la tabla de verdad es una tautología, contradicción o contingencia.
 “Si Sudamérica forma parte de América Latina entonces Argelia no está en África. Pero sucede que
Argelia sí está en África, por lo tanto no es verdad que Sudamérica forme parte de América Latina.”

a)
p:
q:

b)

c)

d)

“José vino o no vino aunque o bien lo llamaron o bien no, dado que José vino o no vino, puesto que
o bien lo llamaron o bien no. ”

a)
p:
q:

b)

c)

d)

“Si dábamos inicio a la elección entonces no habría quórum, luego Reinaldo estaría en lo cierto.
Iniciamos la elección, luego, no hubo quórum, todo lo cual implicó que la oposición abandonó sus
bancas, puesto que si Reinaldo estaba en lo cierto entonces la oposición abandonaría sus bancas.

a)
p:
q:
r:
s:
b)

c)

d)
“Todos somos libres, esto se infiere de que no existe un ser superior. Puesto que si existiese un ser
superior, nunca seríamos libres.”
a)
p:
q:

b)

c)

d)