Cálculo proposicional e inferencia lógica

Por
Wilfram David Roca Hernández
1083468541
Lógica matemática 551105
Grupo 10
Presentado a
Saúl Enrique Vides

Universidad nacional Abierta y a Distancia UNAD

CEAD Santa Marta
 ECEDU
19-03-2019
 contenido

Ejercicios trabajo individual

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

aquellas que son proposiciones?

o Cali es la capital de Colombia. Es una proposición falsa.

o Buenos Aires es la capital de Argentina. Es una proposición verdadera

o 2+3=5. Es una proposición verdadera

o ¿qué día es hoy? No es una proposición

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

o Hoy es jueves. Hoy no es jueves

o No hay polución en Bogotá. Hay polución e Bogotá

o 2+1=3. 2 + 1 ≠ 3

o El verano de Villavicencio es cálido y soleado. El verano de Villavicencio no es cálido ni

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
c. cada unapor
Te multarán de las siguientes
exceso proposiciones
de velocidad en lenguaje
si conduces 100 Km/h. q → p
a más denatural.

d. Si no conduces a más de 100 Km/h no te multarán por exceso de velocidad. → p q

e. a) q
Conducir a más b) ∧ qKm/h es suficiente parac)que
dep100 p ∧teqmulten por exceso d) p∨q p
de velocidad.

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 Está 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 nieva (o ambas cosas). p ∨ q

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 Km/h. p

b. Conduces a más de 100 Km/h, pero no te multan por exceso de velocidad. p q

 Exprese
c. cada unapor
Te multarán de las siguientes
exceso proposiciones
de velocidad en lenguaje
si conduces 100 Km/h. q → p
a más denatural.

d. Si no conduces a más de 100 Km/h no te multarán por exceso de velocidad. → p q

e. a) q
Conducir a más b) ∧ qKm/h es suficiente parac)que
dep100 p ∧teqmulten por exceso d) p∨q p
de velocidad.

→q

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 han visto osos pardos por la zona. r p

b. No se han visto osos pardos por la zona y es seguro caminar. p ∧ q

c. No se han visto osos pardos por la zona y es seguro caminar por el sendero, pero las

bayas del sendero están seguras. p ∧ q ∧ r

d. Si las bayas del sendero están seguras, es seguro caminar por el sendero si, y sólo si, no

se han visto osos pardos por la zona. → r→ 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.

Si sopla el viento del noreste, entonces nieva.

b. El manzano florecerá si el tiempo se mantiene cálido durante una semana.

Si se mantiene cálido durante una semana, entonces el manzano florecerá.

c. Que el Real Madrid gane el campeonato implica que venció al Barcelona.

Si el Real Madrid gana el campeonato, entonces vencieron al Barcelona.

b. Conduces a más de 100 Km/h, pero no te multan por exceso de velocidad. p q

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

a) Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor afuera.

Te compras un helado si y solo si hace calor afuera.

b) Para ganar la rifa es necesario y suficiente tener el número ganador.

Ganas la rifa si y solo si tienes el número ganador.

c) Ascenderás sólo si tienes contactos, y tienes contacto sólo si asciendes.

Ascenderás si y solo si tienes los contactos.

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

condicionales.

a. Si un entero es par, entonces es divisible por 2. Reciproca: si un

entero es divisible por dos, entonces es par. Contrarrecíproca: sí un

entero no es divisible por dos, entonces no es par. Inversa: si un entero no

es par, entonces no es divisible por dos.

b. Voy a clases siempre que vaya a haber un control. Reciproca: si

hay un control, entonces voy a clases. Contrarrecíproca: si no va

haber un control, entonces no voy a clases. Inversa: si no voy a clases

entonces no va haber un control.

c. Cuando me acuesto tarde, es necesario que duerma hasta el mediodía.

Reciproca: cuando duermo hasta el mediodía, entonces me acosté tarde.

 Contrarrecíproca: cuando no duermo hasta el mediodía, entonces no me acosté tarde.

Inversa: cuando no me acuesto tarde, entonces no es necesario que duerma hasta el mediodía.

Un entero positivo es primo sólo si no tiene otros divisores distintos de 1 y él mismo.

d. Un entero positivo es primo sólo si no tiene otros divisores distintos de 1 y él mismo.

Reciproca: Solo si no tiene otros divisores distintos de 1 y el mismo, un entero es positivo es

primo.

Contrarrecíproca: 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 verdad para:

a) p q q p
p q p q 𝑝 →q p→ q p q q p
V V F F V F F
V F F V F V F
F V V F V F F
F F V V V V V

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

V V V F F V F V V V

Reciproca: cuando duermo hasta el mediodía, entonces me acosté tarde.

V V F F V V V F F V

Reciproca: cuando duermo hasta el mediodía, entonces me acosté tarde.

V F V F F F F V V V

V F F F V F F V V V

F V V V F F F V V V

F V F V V F V V V V

F F V V F F F V V V

F F F V V F F V V V

c) p → (q → r)

p q r p q→r a) p → (q → r)

V V V F V V

V V F F F V

V F V F V V

V F F F V V

F V V V V V

F V F V F F

F F V V V V

F F F V V V

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 x 2 es par
P2 : x es un número par

x 2 es par
C:
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 : ¬ (p V q)
 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.

a) Alguien de tu clase habla inglés.

x (AxIx)
b) Todos en tu clase son amigables.
x (AxFx)
c) Hay una persona en tu clase que no nació en Bogotá.
x (Axx)
d) Un estudiante de tu clase ha visto una película.
x (AxIx)

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.
x (ExPx)
b) No todo el mundo es perfecto.
x (ExPx)
c) Todos tus amigos son perfectos.
x (AxPx)
d) Cada uno de tus amigos es perfecto.
x (AxPx)
 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.

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

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

Trabajo colaborativo

1. Responder los tres problemas iniciales dados en las preguntas generadoras

2. Verifique, con tablas de verdad, que los siguientes condicionales son tautologías

(p ∧ q) → (p → q)

3. Utilice una tabla de verdad para verificar la ley distributiva:

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

4. Qué reglas de inferencia se utilizan en las siguientes deducciones?

Alicia estudia matemáticas. Por tanto, Alicia estudia o bien matemáticas o bien

ingeniería.

Henry estudia matemáticas e ingeniería. Por tanto, Henry estudia matemáticas.

Si llueve, se cierra la piscina. Llueve; por tanto, está cerrada.

 Si nieva hoy, se cerrará la universidad. La universidad no está cerrada hoy. Por tanto, no

nieva hoy.
 Si voy a nadar, entonces estaré al sol demasiado tiempo. Si estoy al sol demasiado

tiempo, me quemaré. Por tanto, si voy a nadar me quemaré.

5. Demuestre que la conclusión es consecuencia lógica de las premisas dadas.

Si el reloj está adelantado, entonces Juan llegó antes de la diez y vio partir el coche de

Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés. O Andrés dice

la verdad o estaba en el edificio en el momento del crimen. El reloj está adelantado. Por lo tanto,

Andrés estaba en el edificio en el momento del crimen.

 Referencias bibliográficas

Cardona, S.(2010). Lógica matemática para ingeniería de sistemas y computación. Recuperado

de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=1&docID=10565960&tm
=1480954958178

Domingo A. (2009). Lógica matemática. Junio 14 de 2014. De monografías. Sitio web

http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf

Lewin, R. (2010 ). Teoría de conjuntos. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=3&docID=10526962&tm
=1480955380279

Ruiz, P. (2014).Pensamiento lógico matemático. Recuperado

de http://pedroruiz69.wixsite.com/pensamiento-logico-m

Ruíz.(2019). Unidad 1. Tablas de verdad. UNAD [OVI].Recuperado de

http://hdl.handle.net/10596/23313