Instituto Tecnolgico del Estado de Quertaro

Educacin Presencial a Distancia

Unidad Coln

Asignatura: Inteligencia Artificial

Tema: Lgica de proposicional y de predicados

Actividad: Ejercicios

Alumno: Lorena Montserrat Gudio Ledezma

No. Control: 14141296

Grupo: O6E

Asesor: Ing. Lucia Rivera Rivera

Tutor: Ing. Alma Trejo Vega

Coln, Qro., 9 de noviembre de 2017

Ejercicios:

Las expresiones Cmo llegaste? Qu estudias? Habla usted ingls? No son

proposiciones, pues de su significado no se puede decir si es falso o verdadero.
Las ordenes que se dan a otra persona tampoco son proposiciones. Cules de
las expresiones siguientes son proposicionales? De las que no son dignas por
qu.

1. Todas las naranjas son amarillas. Falso

2. Un rectngulo es una figura verde. Falso
3. Medelln es la ciudad de la eterna primavera. Verdadero
4. Hay tringulos que son rectngulos. Verdadero
5. Algunas manzanas son rojas. Verdadero
6. El frio es una ciencia. Falso
7. La filosofa es cuadrada. Falso
8. El universo es suave. Falso
9. El sol saldr maana. Falso
10. El banano es una fruta que se re. Falso
11. Todos los tringulos son issceles. Falso
12. Tmese la medicina. No se puede responder con verdadero o falso
13. Cules son proposiciones? No se puede responder con verdadero o falso
14. El reconocimiento del pasado es separable del reconocimiento del futuro.
Falso
15. El reconocimiento del futuro es separable del reconocimiento del pasado.
Verdadero
16. El conocimiento del pasado es posible. Verdadero
17. El conocimiento del futuro es posible. Falso
18. Nada triunfa como el xito. Verdadero
19. Nada fracasa al final como el xito. Falso
Escribir en lgica proposicional

El gato es azul y come queso verde

p:El gato es azul

q:El gato come queso verde

p^q

Permanecer en casa si llueve

p: permanecer en casa
q:llueve

qp

Maana es martes o es mircoles

p: Maana es martes

q: Maana es mircoles

pvq

El ser nmero par implica ser nmero entero

p: numero par

q: numero entero

pq

Si es un nmero par, entonces tambin es entero

p: numero par

q; numero entero

qp

Es nmero par, solo si es entero

p: numero par

q; numero entero

pq

Es nmero entero, si es par

p: numero entero

q: numero par

pq

Es entero siempre que sea par

p: numero par

q; numero entero
pq

El ser nmero par es condicin suficiente para ser entero

p: numero par

q; numero entero

pq

Ser nmero entero es condicin necesaria para ser par

p: numero entero

q; numero par

pq

Si el cuadriltero ABCD es un cuadrado entonces sus lados son iguales

p: cuadriltero ABCD

q: Cuadrado

r: sus lados son iguales

(pq)r

La aceleracin de un cuerpo es proporcional al producto de su masa por la

fuerza ejercida sobre el

p: aceleracin del cuerpo

q: producto de su masa por la fuerza ejercida sobre el

pq

Juan es alto

Alto(juan)

Juan es to de mara

Es to de Mara (juan)

Todos los majadistanenses son de majadistan. Rudistein es Majadistanense. En

consecuencia, Rudistein es de Majadistan
x[[majadistanenses(x)majadistas(x)]^[majadistanense(Rudistein)]]
majadisten(Rudistein)

Todos los cidos son corrosivos. Todos los cidos tienen hidrogeno; luego
Algo que tenga hidrogeno es corrosivo.
[x[acidos(x)corrosivos(x)]^[acidos(x)hidrogeno(x)]]y[hidrogeno(x,y)
corrosivo(x,y)]
Ningn gas tiene volumen constante. Todos los gases son cuerpos; luego
Algunos cuerpos no tienen volumen constante.
x[[gas(x)volumen_constante(x)]^[gases(x)cuerpos(x)]]y[cuerpos(x
,y)tiene(y,volumen_constante)]
Todos los atletas cuidan su salud. Nadie que cuida su salud es vicioso;
luego Nadie que sea vicioso es atleta.
x[atletas(x)cuidan_su_piel(x)][cuida_su_piel(x)visioso(x)][visioso
(x)]
Algunas plantas tienen flores.
xy[plantas(x,y)flores(xy)]
Un hijo de priamo mato a un hijo de peleo.
Un aqueo mato a todos los hijos de priamo.
Algunos sobrevivientes de la guerra amaron a Elena.
Todos los hijos de Hctor murieron a manos de algn aqueo.
Ningn personaje de la Iliana mato a Eneas.
Elena amo a uno de los hijos de priamo.
Si alguien vive es por qu no lo ha matado algo.
Cualquiera que conoce algo acerca de la lgica le gusta la lgica.
Ningn dragn que vive en un zoolgico sera feliz.
Cualquier animal que conoce a gente agradable es feliz.
Las personas que visitan zoolgicos son agradables.
Los animales que viven e zoolgicos conocen a gente que visita zoolgicos
Colombia pertenece a Amrica.
1.- Existen algunos escuderos que no son amigos.

2.- No todos, pero si algunos escuderos son jvenes.

3.- Existen los que no son caballeros implica que no son jvenes.

4.- Existen algunos que no son caballeros sin embargo son jvenes.

5.- Existen los que no son caballeros entonces tampoco son jvenes.

6.- Existen algunos escuderos a pesar de que todos no son amigos solo algunos.

7.- Existen algunos que no son escuderos sin embargo son jvenes.

8.- No todos los caballeros no son jvenes.

9.- Todos los que no son caballeros sin embargo son jvenes.

10.- No todos son caballeros, sin embargo no todos son jvenes.