Ejercicios trabajo individual

Andrea María Rincón Bedoya.

1. ¿Cuáles de las siguientes frases son proposiciones? ¿Cuál es el valor de verdad

de aquellas que son proposiciones?

p=Cali es la capital de Proposición v(p)= F

Colombia.

q=Buenos Aires es la Proposición v(q)= V

capital de Argentina.

r=2+3=5. Proposición v(r)= V

s= ¿qué día es hoy? Enunciado No tiene valor de

verdad.

2. ¿Cuál es la negación de cada uno de los siguientes enunciados?

Enunciado Negación
Hoy es jueves. Hoy no es jueves.
No hay polución en Bogotá Es falso que en la ciudad de Bogotá no
hay polución.
2+1=3. No es cierto que 2+1=3(el valor de
verdad para esta negación seria falso)
El verano de Villavicencio es No todo el verano de Villavicencio es
cálido y soleado. cálido y soleado.

3. Sean p y q los enunciados

 p: “Está permitido nadar 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 ∧ q c) p ∧ q d) p ∨ q

a) No se han divisado tiburones cerca de la costa.

b) No está permitido nadar en la costa de Cartagena y se han divisado tiburones
cerca de la costa.
c) Está permitido nadar en la costa de Cartagena y se han divisado tiburones
cerca de la costa.
d) No esta permitido nadar 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 lógicos:

a) Estamos bajo cero y nieva. p∧q

b) Estamos bajo cero, pero no nieva. P¬q

c) No estamos bajo cero y no nieva. ¬p¬q

d) Bien estamos bajo cero o bien pvq

nieva (o ambas cosas).
 5. Sean p y q los enunciados p: “Conduces a más de100 Km/h” q: “Te multan por
exceso de velocidad” , Escriba los siguientes enunciados utilizando p, q y
conectivos lógicos:

a) No conduces a más de 100 ¬p

Km/h.

b) Conduces a más de 100 Km/h, p ¬ q

pero no te multan por exceso de
velocidad.

c) Te multarán por exceso de q↔ p

velocidad si conduces a más de
100 Km/h.

d) Si no conduces a más de 100 ¬p→¬q

Km/h no te multarán por exceso
de velocidad.

e) Conducir a más de 100 Km/h es p↔q

suficiente para que te multen por
exceso de velocidad.

6. Sean p, q y r los enunciados:

p: “Se han visto osos pardos por la zona” q: “Es seguro caminar por el sendero” r: “Las
bayas del sendero están seguras”. Exprese los siguientes enunciados utilizando p, q, r y
conectivos lógicos:
 a) Las bayas del sendero están seguras, pero no se r¬p
han visto osos pardos por la zona.

b) No se han visto osos pardos por la zona y es ¬p∧q

seguro caminar por el sendero, pero las bayas del
sendero están seguras

c) Si las bayas del sendero están seguras, es seguro (r→ q) ↔ ¬ p

caminar por el sendero si, y sólo si, no se han
visto osos pardos por la zona.

7. Escriba cada uno de los siguientes enunciados en la forma “si p, entonces q”.

a. Nieva siempre que el viento p= siempre que el viento sopla P→q

sopla del noreste. del noreste.
q= Nieva
b. El manzano florecerá si el p= Sil tiempo se mantiene P→q
tiempo se mantiene cálido cálido durante la semana
durante una semana. q= El manzano florecerá
c. Que el Real Madrid gane el p= Que el real Madrid gane el P→q
campeonato implica que campeonato.
venció al Barcelona. q=implica que venció al
Barcelona.

8. Escriba cada uno de los siguientes enunciados en la forma “p si, y sólo si

q”.

a) Si hace calor afuera, te p= Si hace calor p↔q

 compras un helado, y si te afuera.
compras un helado, hace calor q= te compras un
afuera. helado.

b) Para ganar la rifa es necesario p= Para ganar la rifa p↔q

y suficiente tener el número q= Es necesario y
ganador. suficiente tener el
número ganador.
c) Ascenderás sólo si tienes p= Ascenderás solo p↔q
contactos, y tienes contacto si tienes contactos.
sólo si asciendes. q=tienes contactos
solo si asciendes.

9. Enuncie la recíproca, la contrarrecíproca y la inversa de cada uno de los

siguientes condicionales.

Condicional Reciproca Contrarrecíproca Inversa

q p ¬q ¬p ¬p ¬q
Si un entero es par, Un numero divisible Un numero que no es No todos los números
entonces es divisible por por 2, entonces es un divisible por 2 no es un enteros son pares y no
2. entero par. entero par. todos son divisibles
por 2.
Voy a clases siempre que Siempre que vaya a Cuando no hay control No voy a clases
vaya a haber un control. ver un control, voy a no voy a clases. cuando no hay
clases. control.
Cuando me acuesto Es necesario que No es necesario que Si no me acuesto tarde
tarde, es necesario que duerma hasta el duerma hasta el no es necesario que
duerma hasta el mediodía cuando me mediodía, sino me duerma hasta el
mediodía. acuesto tarde. acuesto tarde. mediodía.
Un entero positivo es Si un número no tiene Si un número tiene No es un entero
primo sólo si no tiene otros divisores otros divisores positivo primo un
otros divisores distintos distintos de 1 y el distintos de 1 y el número que tiene
de 1 y él mismo. mismo, es un entero mismo, no es un entero otros divisores
positivo primo. positivo primo. distintos de 1 y el
mismo.

10. Construir la tabla de verdad para:

a) p→q ⇔ ( ¬ q →¬ p )

Se realizan 4 filas teniendo en cuenta que son 2 proposiciones por lo cual se tiene
en cuenta la formula 2n

p → q ↔ (¬q → ¬ p)
V V V V F V F
V F F V V F F
F V V V F V V
F V F V V V V
1 R 2

Tenemos como resultado una tautología.

b) [ r∧s ] → q ⇔ [ ( s∧¬ q ) → ¬ r ]

Se realizan 8 filas teniendo en cuenta que son 3 proposiciones por lo cual se tiene
en cuenta la formula 2n

q r s [r ∧ S] → q ↔ [(s ∧ ¬q) → ¬r]

V V V V V V V V V V F F V F
V V F V F F V V V F F F V F
V F V F F V V V V V F F V V
 V F F F F F V V V F F F V V
F V V V V V F F V V V V F F
F V F V F F V F V F F V V F
F F V F F V V F V V V V V V
F F F F F F V F V F F V V V
1 4 R 2 3

Tenemos como resultado una tautología.

c) p → (q → r)

Se realizan 8 filas teniendo en cuenta que son 3 proposiciones por lo cual se tiene
en cuenta la formula 2n

P q r ¬p → (q → r)
V V V F V V V V
V V F F V V F F
V F V F V F V V
V F F F V F V F
F V V V V V V V
F V F V F V F F
F F V V V F V V
F F F V V F V F

Se obtiene como resultado una contingencia.

11. Utilizando el modus ponendus ponens, llegue a la conclusión C

a. P1: Si hoy es domingo, entonces hay futbol
P2: Hoy es domingo
C: Hay futbol

b. P1: Si x es un número para, entonces x2 es par

P2: x es un número par
 2
C: x es número par.

c.
P1 : − p→q∨s
P2 :−p
C: qvs

12. Utilizando el modus tollendo tollens, llegue a la conclusión C

a.
P1 : Si estoy preparado profesionalmente, entonces triunfaré en mis negocios.

P2 : Fracasé en los negocios

C: No estoy preparado profesionalmente.

b.
P1 : S → ¬t
P2 : ¬( ¬t )
C: ¬S

c.
P1 : p∨q → ¬r
P2 : ¬ ( ¬r )
C: ¬pvq

13. Traduzca de dos formas cada una de las siguientes frases a expresiones
lógicas utilizando funciones proposicionales, cuantificadores y conectivos lógicos.
En primer lugar, el dominio consistirá en los estudiantes de tu clase, y en segundo
lugar, será el
conjunto de todas las personas.
 Frase Forma 1 Forma 2
Alguien de tu clase habla p= Alguien P= todos en tu clase
inglés. q= de tu clase habla q= hablan inglés.
ingles ∀ x¿
∃ x(px→ qx)

Todos en tu clase son p= todos en tu clase. q= p= Alguien en tu clase.

amigables. son amigables. q= no es amigable.

∀ x( px →qx ) ∃ x(px→ ¬qx)

Hay una persona en tu P= Hay una persona en P= todas las personas de

clase que no nació en tu clase. tu clase.
Bogotá. q= que no nació en q= nacidos en Bogotá.
Bogotá. ∀ x( px →qx )
∀ x( px →qx )
Un estudiante de tu clase p= Un estudiante de tu p= Los estudiantes de tu
ha visto una película. clase. clase.
q= ha visto una película. q= No ha visto una
∃ x px →qx película.
∀ x(px→ ¬qx)

14. Traduzca cada una de las siguientes frases a expresiones lógicas utilizando
funciones proposicionales, cuantificadores y conectivos lógicos. El dominio es el
conjunto de todas las personas.

a) Nadie es perfecto.
∀ xp(x)→ ¬q(x)

b) No todo el mundo es perfecto.

 ∀ x ¬p(x)→ q(x)

c) Todos tus amigos son perfectos.

∀ xp(x)→ q(x)

d) Cada uno de tus amigos es perfecto.

∀ xp(x)→ q(x)

15. Traduzca cada una de las siguientes frases a expresiones lógicas de tres
formas diferentes, variando el dominio y utilizando funciones proposicionales con
una y con dos variables.

a) Un estudiante de tu universidad ha vivido en Cali.

1. P= un estudiante q= universidad r= Vive en Cali

∃ x p(x)→ q(x) → r(x)

2. r=Algunos estudiantes de tu universidad s=no viven en Cali

∃ x r(x)→ ¬s(x)

3. q=Todos los estudiantes de la universidad r=conocen Cali

∀ xq(x)→ r(x)

b) Hay un estudiante de tu escuela que no habla ruso.

 1. P=hay un estudiante de tu escuela q= que no habla ruso

∃ x p(x)→ ¬q(x)

2. P=hay un estudiante de tu escuela q= que habla español r= y francés

s= pero no habla ruso

∃ x p(x)→q(x)∧ r(s)→ ¬s(x)

3. q=No todos los estudiantes de la escuela r=hablan ruso

∀ x ¬q(x)→ r(x)

c) Un estudiante de tu escuela sabe Java, Prolog y C++.

1. P=Un estudiante de tu escuela q= sabe Java, Prolog

r= y C++

∃ x p(x)→ q(x) ∧ r (x)

2. P=Un estudiante de tu escuela q= sabe Java r= Prolog

s= Pero no C++

∃ x p(x)→q(x)∧ r(s)→ ¬s(x)

3. q= todos los estudiantes de la escuela r=saben Java s= pero no

Prolog t= C++

∀ xq(x)→ r(x)¬s(x) ∧ ¬ t(x)