Marlyz Isabel Acosta

Ejercicios Trabajo Individual

1. Cules de las siguientes frases son proposiciones? Cul es el valor de verdad de
aquellas que son proposiciones?
Cali es la capital de Colombia
(Proposicin Falsa)
Buenos Aires es la capital de Argentina
(Proposicin Verdadera)
2+3=5
(Proposicin Verdadera)
Qu da es hoy?
(No es Proposicin)
2. Cul es la negacin a cada uno de los siguientes enunciados?
Hoy es jueves
(Hoy no es Jueves)
No hay polucin en Bogot
(Hay Polucin en Bogot)
2+1=3
(2 + 1 3)
El verano de Villavicencio es
(El verano en Villavicencio Clido y soleado
no es clido ni soleado)
El verano de Villavicencio es
(El verano en Villavicencio Clido o soleado
ni es clido ni es soleado)
3. Sean p y q enunciados
P: Est permitido nada en la costa de Cartagena q: Se han divisado tiburones cerca de la
costa
Exprese cada una de las siguientes proposiciones en lenguaje natural
a) q

b) p (p V q)

c) p q

d) p V q

R/
a) q:
b) p (p V q):

c) p q:
d) p V q

No se han divisado tiburones cerca de la costa

No est permitido nadar en la costa de Cartagena y est permitido
nadar en la costa de Cartagena p se han divisado tiburones en la
costa
Est permitido nadar en la costa de Cartagena y se han divisado
tiburones cerca de la costa
No est permitido nada en la costa de Cartagena o se han divisado
Tiburones cerca de la costa

4. Sean p y q los enunciados p: Estamos bajo cero q: Nieva, escriba los siguientes
enunciados utilizando p, q y conectivos lgicos.
a)
b)
c)
d)

Estamos bajo cero y nieva

Estamos bajo cero, pero no nieva
No estamos bajo cero y no nieva
Bien estamos bajo cero o bien nieva (o ambas cosas)

R/
R/
R/
R/

(p q)
(p q)
(p q)
(p V q) V (p q)

Marlyz Isabel Acosta

e) Si estamos bajo cero, entonces tambin nieva

R/

(p

q)

5. Sean p y q los enunciados p: Conduces a ms de 100 Km/h q: Te multan por exceso de

velocidad, Escriba los siguientes enunciados utilizando p, q y conectivos lgicos.
a) No conduces a ms de 100 Km/h
R/ (p)
b) Conduces a ms de 100 Km/h, pero no te multan por exceso de velocidad (p q)

c) Te multan por exceso de velocidad si conduces a ms de 100 Km/h R/ (p q)

d) Si no conduces a ms de 100 Km/h no te multaran por exceso de velocidad
R/

(p

q)

e) Conducir a ms de 100 Km/h es suficiente para que te multen por exceso de

velocidad
R/
(p

q)
6. Sean p, q y r los enunciados:
p: Se han visto osos pardos en la zona q: Es seguro caminar por el sendero r: Las bayas del
sendero estn seguras. Exprese los siguientes enunciados utilizando p, q y r y conectivos
lgicos.
a) Las bayas del sendero estn seguras, pero no se han visto
osos pardos por la zona
R/ (r p)
b) No se han visto osos pardos por la zona y es seguro caminar por el sendero, pero las
bayas del sendero estn seguras
R/
(p q r)
c) Si las bayas del sendero estn seguras, es seguro caminar por el sendero si, y solo si,
no se han visto osos pardos por la zona.

R/

(p

q)

p
7. Escriba cada uno de los siguientes enunciados en la forma si p, entonces q
a) Nieva siempre que el viento sopla del noreste
R/ Si sopla el viento del noreste entonces nieva
b) El manzano florecer si el tiempo se mantiene clido durndote una semana
R/ Si se mantiene clido durante una semana entonces el manzano florecer
c) Que el Real Madrid gane el campeonato implica que venci al Barcelona
R/ Si el Real Madrid gana el campeonato entonces vencieron al Barcelona

Marlyz Isabel Acosta

8. Escriba cada uno de los siguientes enunciados en la forma p si, y solo si q
a) Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor
afuera
R/ Hace calor afuera si, y solo si te compras un helado
b) Para ganar la rifa es necesario y suficiente tener el numero ganador
R/ Ganas la rifa si, y solo si tienes el numero ganador
c) Ascenders solo si tienes contactos. Y tienes contactos solo si asciendes
R/ Ascenders si, y solo si tienes contactos
9. Enuncie la recproca, la contrarrecproca y la inversa de cada uno de los siguientes
condicionales
a) Si un entero es par, entonces es divisible por 2
R/ Reciproca: Entonces es divisible por 2, si un entero es par
Contrarrecproca: Entonces no es divisible por 2, si un entero no es par
Inversa: Si un entero no es par, entonces no es divisible por 2
b) Voy a clases siempre que vaya a haber un control
R/ Reciproca: Siempre que vaya a haber control voy a clases
Contrarrecproca: Siempre que no vaya a haber control no voy a clases
Inversa: No voy a clases siempre que no vaya a haber control
c) Cuando me acuesto tarde, es necesario que duerma hasta el medioda
R/ Reciproca: Es necesario que duerma hasta el medioda, cuando me acuesto tarde
Contrarrecproca: No es necesario que duerma hasta el medioda, cuando no me
acuesto tarde
Inversa: Cuando no me acuesto tarde, no es necesario que duerma hasta el
medioda
d) Un entero positivo es primo solo si no tiene otros divisores distintos de 1 y el mismo
R/ Reciproca: Solo si no tiene otros divisores distintos de 1 y el mismo, un entero es
positivo es primo
Contrarrecproca: Solo si tiene otros divisores distintos de 1 y el mismo, un
entero es positivo no es primo
Inversa: Un entero positivo no es primo solo si tiene otros divisores distintos de 1
y el mismo
10. Construir la tabla de la verdad para:
a) p

(p

q)

Marlyz Isabel Acosta

b) [r s]

c) p

[(s q)

(q

r]

r)

R/

a) p
p

(p

q)

[(s q)

rs

s q

[r s]

(p

q)

b) [r s]
r

r]

(s q)

[r s]

r
q)

q
r]

c) p

(q

r)

[(s

Marlyz Isabel Acosta

p

r)

11. Utilizando el modus ponendus ponens, llegue a la conclusin C

a) P1: Si hoy es domingo, entonces hay futbol
P2: Hoy es domingo
C: Hay futbol
b) P1: Si X es un numero par, entonces
P2: X es un nmero par
C:

es par

X 2 es par

c) P1: p
P2: p
C: q V s

qVs

12. Utilizando el modus tollendo tollens, llegue a la conclusin C.

a) P1: Si estoy preparado profesionalmente, entonces triunfar en mis negocios
P2: Fracas en mis negocios
C: No estoy preparado profesionalmente
b) P1: S
t
P2: ( t)
C: S
c) P1: p V q
P2: ( r)
C: (p V q)

(q

Marlyz Isabel Acosta

13. Traduzca en dos formas cada una de las siguientes frases a expresiones lgicas utilizando
funciones proposicionales, cuantificadores y conectivos lgicos. En primer lugar, el
dominio consistir en los estudiantes de tu clase, y en segundo lugar, ser el conjunto de
todas las personas.
a)
a)
b)
c)
d)

Alguien de tu clase habla ingls

R/
x (Ax Ix)
Todos en tu clase son amigables
R/
x (Ax Fx)
Hay una persona en tu clase que no naci en Bogot R/ x (Ax x)
Un estudiante de tu clase ha visto una pelcula R/
x (Ax Ix)
Ningn estudiante de tu clase ha cursado una asignatura de lgica
R/ definimos Alguien = A,

14. Traduzca cada una de las siguientes frases a expresiones lgicas utilizando funciones
proposicionales, cuantificadores y conectivos lgicos. El dominio es el conjunto de todas
las personas.
b)
c)
d)
e)

Nadie es perfecto.
No todo el mundo es perfecto.
Todos tus amigos son perfectos.
Cada uno de tus amigos es perfecto

R/
R/
R/
R/

x (Ex Px)
x (Ax Px)
x (Ax Px)
x (Ax Px)