Ejercicios Logica Predicados

Instituto Tecnológico de La Piedad
División de Estudios Profesionales
TECNOLOGICO NACIONAL DE MEXICO
INSTITUTO TECNOLOGICO DE LA PIEDAD
INGENIERIA EN SISTEMAS COMPUTACIONALES

INTELIGENCIA ARTIFICIAL
RESOLUCIÓN DE EJERCICIOS
LOGICA DE PREDICADOS
PRESENTADO POR:
MARCO ANTONIO GÓMEZ SOLORIO
N.C: 20640197
LA PIEDAD, MICHOACÁN 12 DE MARZO DEL 2024
Av. Tecnológico # 2000, Meseta de los Laureles, C.P. 59370,

La Piedad, Mich. Tels. 01 (352) 52 62294, 52 62369, 52 60680,
www.tecnm.mx | https://piedad.tecnm.mx
-EJERCICIOS DE LÓGICA DE PREDICADOS:
1.- Si la proposición p es falsa entonces p v q es:
a. falsa
b. verdadera
c. depende del valor de q
El resultado dependerá del valor de q ya que según la disyunción si una de las proposiciones
es verdadera el resultado será verdadero como muestra la tabla de verdad.
Pero como desconocemos el valor de q no podemos afirmar si es falso o verdadero.
2.- Si la proposición p es falsa entonces p ˄ q es:
a. falsa
b. verdadera
c. depende del valor de q
En este caso el resultado es falso ya que la conjunción indica que para que el resultado sea
verdadero ambas proposiciones deben ser verdaderas como muestra la siguiente tabla

3.- Si la proposición q es verdadera entonces p → q es:
a. falsa
b. verdadera
c. no se puede establecer
Es verdadera ya que la implicación nos dice que si solamente si la proposición q es

verdadera el resultado será verdadero.
4.- Si p es falsa, entonces la proposición q → p es:
a. falsa
b. verdadera
c. no se puede determinar
En este caso es falsa ya que q depende de p y si p es falsa la implicación será falsa

5.- Si quiero llegar rápido a la universidad, entonces debo tomar el metro. Llegué
temprano a la universidad. Por tanto:
a. Tomé el bus
b. Tomé el metro
c. No llegué rápido
Para llegar a la respuesta primero hice las proposiciones
-p: "Quiero llegar rápido a la universidad."

-q: "Debo tomar el metro."
-r: "Llegué temprano a la universidad."
Entonces usaremos la expresión p → q que significa que para llegar rápido a la universidad
debo tomar el metro y r → ( p → q) para llegue temprano a la universidad que implica las
proposiciones anteriores
p q p→q r → ( p → q)
V V V V
V F F F
F V V V
F F F F
Como podemos observar los dos casos en los que los que se llega temprano es porque se
tomó el metro.

6.- Carlos se encontró con su amigo Juan que pasea a sus perros y le hace el siguiente
comentario: “todos tus perros son blancos”. Juan le contesta: “No es cierto, estás
equivocado”. De acuerdo a lo dicho por Juan, se puede afirmar con certeza que:
a. Juan tiene al menos un perro negro

b. Juan tiene al menos un perro que no es blanco
c. Algunos de los perros de Juan son blancos
d. Juan tiene al menos un perro blanco
7.- Voy al cine o me quedo en casa. Si voy al cine, entonces, dormiré en la casa de mi
hermano. No me quedé en casa. Por lo tanto:
a. Dormí en la casa de mi hermano

b. No fui al cine
c. Me quedé en casa
d. Fui al cine
8.- Representar con lógica de predicados el ejercicio anterior (7)
p=”voy al cine”
q=”me quedo en casa”
r=”dormiré en casa de mi hermano”
Para nuestra tabla de verdad utilizaremos la expresión si no me quede en casa entonces fui
al cine p → ¬q donde negamos q. Y la expresión si no me quede en casa y fui al cine
entonces dormiré en casa de mi hermano r → (p → ¬q)

p ¬q p → ¬q r → (p → ¬q)
V V V V
V F F F
F V V V
F F F F
Los resultados de la tabla de verdad muestran que si no se quedó en casa entonces se

quedó a dormir en casa de su hermano.
9.- Todas las plantas tienen hojas, se representa de la siguiente manera:

P(x) = x es una planta,
H(x) = x tiene hojas
Ɐx, P(x) → H(x)
a. verdadero
b. falso
10.- La negación del ejercicio anterior es:
a. ¬ [Ɐx, P(x) → H(x)]

b. Ɐx, ¬P(x) → H(x)
11.- Crear las siguientes declaraciones con lógica de predicados
1) Algunos niños tienen hambre
P(x)=x es un niño
H(x)=x tiene hambre
∃x, H(x) → P(x)

2) Algunas aves no vuelan
P(x)=x es un ave
H(x)=x vuela
∃x, ¬H(x) → P(x)
3) Ningún perro habla
P(x)=x es un perro
H(x)=x no habla
Ɐx, H(x) → P(x)
12.- Crear las siguientes declaraciones con lógica de predicados
- Antonio es un ingeniero informático

I=Ingeniero informático
a=Antonio
I(a)=Antonio es un ingeniero informático
- A todos los ingenieros informáticos les gusta programar
I(x)=x es un ingeniero informático

P(x)=x le gusta programar
Ɐx, I(x) → P(x)

- Si les gusta programar es porque saben cómo hacerlo
P(x)=x le gusta programar

S(x)=x sabe programar
Ɐx, P(x) → S(x)
- por lo tanto, Antonio sabe programar
S(a)
Bibliografías:
Tablas de verdad tomadas del documento proporcionado en la plataforma MOODLE


Ejercicios Logica Predicados

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicios Logica Predicados

Cargado por

Copyright:

Formatos disponibles

Instituto Tecnológico de La Piedad

División de Estudios Profesionales

TECNOLOGICO NACIONAL DE MEXICO

INSTITUTO TECNOLOGICO DE LA PIEDAD

INGENIERIA EN SISTEMAS COMPUTACIONALES

LA PIEDAD, MICHOACÁN 12 DE MARZO DEL 2024

Av. Tecnológico # 2000, Meseta de los Laureles, C.P. 59370,

-EJERCICIOS DE LÓGICA DE PREDICADOS:

1.- Si la proposición p es falsa entonces p v q es:

Pero como desconocemos el valor de q no podemos afirmar si es falso o verdadero.

2.- Si la proposición p es falsa entonces p ˄ q es:

Av. Tecnológico # 2000, Meseta de los Laureles, C.P. 59370,

3.- Si la proposición q es verdadera entonces p → q es:

Es verdadera ya que la implicación nos dice que si solamente si la proposición q es

4.- Si p es falsa, entonces la proposición q → p es:

En este caso es falsa ya que q depende de p y si p es falsa la implicación será falsa

Av. Tecnológico # 2000, Meseta de los Laureles, C.P. 59370,

Para llegar a la respuesta primero hice las proposiciones

-p: "Quiero llegar rápido a la universidad."

Av. Tecnológico # 2000, Meseta de los Laureles, C.P. 59370,

a. Juan tiene al menos un perro negro

a. Dormí en la casa de mi hermano

8.- Representar con lógica de predicados el ejercicio anterior (7)

Av. Tecnológico # 2000, Meseta de los Laureles, C.P. 59370,

Los resultados de la tabla de verdad muestran que si no se quedó en casa entonces se

9.- Todas las plantas tienen hojas, se representa de la siguiente manera:

10.- La negación del ejercicio anterior es:

a. ¬ [Ɐx, P(x) → H(x)]

11.- Crear las siguientes declaraciones con lógica de predicados

1) Algunos niños tienen hambre

Av. Tecnológico # 2000, Meseta de los Laureles, C.P. 59370,

2) Algunas aves no vuelan

3) Ningún perro habla

12.- Crear las siguientes declaraciones con lógica de predicados

- Antonio es un ingeniero informático

- A todos los ingenieros informáticos les gusta programar

I(x)=x es un ingeniero informático

Ɐx, I(x) → P(x)

Av. Tecnológico # 2000, Meseta de los Laureles, C.P. 59370,

- Si les gusta programar es porque saben cómo hacerlo

P(x)=x le gusta programar

Ɐx, P(x) → S(x)

- por lo tanto, Antonio sabe programar

Tablas de verdad tomadas del documento proporcionado en la plataforma MOODLE

Av. Tecnológico # 2000, Meseta de los Laureles, C.P. 59370,

También podría gustarte