UNIVERSIDAD DE NARIÑO

PROGRAMA DE INGENIERÍA DE SISTEMAS

INTELIGENCIA ARTIFICIAL

Resolución del Taller de Lógica

Presentado por:

Wilmer Danilo Fuenmayor Tovar

Carlos Andrés Gudiño

Miler España

Presentado a:

Ing. Camilo Lagos M.

 1. Dadas las siguientes oraciones:

-​ ​Juan tiene perro

-​ ​Todos los que tienen perro aman a los animales

-​ ​Toda persona que ame a los animales no los mata

-​ ​El gato es un animal

-​ ​El perro es un animal

-​ ​Juan o la curiosidad mató al gato

Demuestre que la curiosidad mató al gato.

Nota: Utilice los predicados Tiene(x, y), Ama(x, y), Animal(x), Mata(x, y)

DESARROLLO:

ORACIÓN PREDICADOS

Juan tiene perro Tiene (Juan, perro)

Todos los que tienen perro aman a los Tiene (todos, perro) → Ama (todos, animales)
animales
Ama (Tiene (todos, perro), animales)

Toda persona que ame a los animales Ama (persona, animales) → ∼ Mata (persona,
no los mata animales)

∼Mata (Ama (persona, animales), animales)

El gato es un animal Animal (gato)

El perro es un animal Animal (perro)

Juan o la curiosidad mató al gato Mata (Juan, gato) v Mata (curiosidad, gato)
● Tiene (Juan, perro)
● Tiene (todos, perro) → Ama (todos, animales)
● Tiene (Juan, perro) ​→ ​Ama (Juan, animales)
● Ama (persona, animales) → ∼Mata (persona, animales)
● Ama (Juan, animales) ​→ ​∼Mata (Juan, animales)
● Animal (gato)
● ∼Mata (Juan, animales)
● [Animal (gato) ∧ ∼Mata (Juan, animales)] → ∼Mata (Juan, gato)
● ∼Mata (Juan, gato)
● Mata (Juan, gato) ∨ Mata (curiosidad, gato)
● {[Mata (Juan, gato) ∨ Mata (curiosidad, gato)] ∧ ∼Mata (Juan, gato)} → Mata
(curiosidad, gato)

2. Formaliza los siguientes enunciados:

A. Si llueve el partido se suspende. Si el pronóstico del tiempo es bueno, llueve.

Por lo tanto, si el pronóstico del tiempo es bueno entonces el partido se
suspende.

B. ​Sólo si llueve el partido se suspende. Si el pronóstico del tiempo es bueno,

llueve. Por lo tanto, si el pronóstico del tiempo es bueno entonces el partido

se suspende.

DESARROLLO:

En primer lugar, se definen las siguientes proposiciones:

P = Llueve

Q= El partido se suspende

R= El pronóstico del tiempo es bueno

En segundo lugar, se formalizan los enunciados así:

 A. ​Si llueve el partido se suspende. Si el pronóstico del tiempo es bueno, llueve.
Por lo tanto, si el pronóstico del tiempo es bueno entonces el partido se
suspende.

(P→Q∧R→P)→(R→Q)
~(PvQ^~RvP) ​v​ (~RvQ)
(P^~QvR^~P) ​v​ (~RvQ)
F ​v​ V V
V ​v ​ V
V

B.​ ​Sólo si llueve el partido se suspende. Si el pronóstico del tiempo es bueno,

llueve. Por lo tanto, si el pronóstico del tiempo es bueno entonces el partido
se suspende.

(P→Q∧R→P)→(R→Q)

~(~PvQ^~RvP) ​v​ (~RvQ)

(P^~QvR^~P) ​v​ (~RvQ)
F ​v​ V ​v​ V
V ​v​ V
V

3. Asigne el valor de verdad que corresponde (de acuerdo a nuestro conocimiento del
mundo) a cada proposición en las oraciones siguientes, y determine luego el valor
de verdad de la oración en su totalidad:

a.​ ​ Obonuco es la capital de Colombia

b.​ ​ Un conejo es un ratón Bogotá es la capital de Colombia
c. ​Obonuco está en Europa (Tijuana está en Colombia Buenos Aires está en
Argentina)
d. (Las culebras son mamíferos Las vacas son reptiles) Los murciélagos son
pájaros
e.​ ​ ( China está en Asia Argentina está en Sudamérica)

f. ​[(La tierra da vueltas en torno al sol La tierra da vueltas en torno al sol) La

tierra da vueltas en torno al sol] La tierra da vueltas en torno al sol
 DESARROLLO:

En primer lugar, se asigna el valor de verdad a cada proposición de las que

componen las oraciones anteriores:

PROPOSICIÓN VALOR DE
VERDAD

Obonuco es la capital de F
Colombia

Un conejo es un ratón F

Bogotá es la capital de V
Colombia

Obonuco está en Europa F

Tijuana está en Colombia F

Buenos Aires está en V

Argentina

Las culebras son F

mamíferos

Las vacas son reptiles F

Los murciélagos son F

pájaros

China está en Asia V

Argentina está en V
Sudamérica

La tierra da vueltas en V
torno al sol
 Enseguida se determina el valor de verdad de las oraciones en su totalidad. Para
ello se efectúa el procedimiento teniendo en cuenta tanto los valores de verdad de
las proposiciones definidos anteriormente como las tablas de verdad para cada
conector lógico:

ORACIÓN PROCEDIMIENTO VALOR

DE
VERDAD

¬ Obonuco es la capital de Colombia ∼F V

¬ Un conejo es un ratón → Bogotá es la capital de ∼F →V V

Colombia V →V

Obonuco está en Europa ≡ (Tijuana está en Colombia F≡(F≡~V) F

≡ ¬Buenos Aires está en Argentina) F≡(F≡F)
F≡V

¬(Las culebras son mamíferos Λ Las vacas son ~(F∧F)→F F

reptiles)→Los murciélagos son pájaros ~F→F
V→F

¬(¬China está en Asia v ¬ Argentina está en ~(~V∨~V) V

Sudamérica) ~(F∨F)
~F

[(La tierra da vueltas en torno al sol → ¬La tierra da [​(V→~V)→V]→V V

vueltas en torno al sol) → La tierra da vueltas en torno [(V→F)→V]→V
al sol] → La tierra da vueltas en torno al sol [F→V]→V
V→V