UNIVERSIDAD AUTONOMA DE NUEVO LEÓN

FACULTAD DE INGENIERÍA MECÁNICA Y

ELÉCTRICA

Tarea 4

Clausulas y resolución

INTELIGENCIA ARTIFICIAL Y REDES NEURONALES

Catedrático: Francisco Javier De La Garza Salinas

No Matricula Nombre Carrera

1 1734610 Juan Carlos Hernández López IMTC

2 1813108 José Mauricio Reyes Balderas IMTC

3 1844507 Francisco Iván Pérez Galván IMTC

4 1942816 Miguel Adrián Cepeda Moncada IMTC

5 1986900 Héctor Salazar Gómez IMTC

VIERNES, 10 DE SEPTIEMBRE DEL 2021

SAN NICOLAS DE LOS GARZA N.L

Axiomas en clausulas
1.- A
2.- A˄D→E
a→b= ┐a˅b
┐(A˄D)˅E
(┐A˅┐D) ˅E
2.- ┐A˅┐D ˅E
3.- C˅B→D
a→b= ┐a˅b
┐(C˅B)˅D
(┐C˄┐B)˅D
(┐C˅D) ˄(┐B˅D)
3.1 ┐C˅D 3.2 ┐B˅D
Convertir los axiomas en clausula
4.- B
Negar la pregunta y convertir en clausula
5.- ┐E
1.-A
2.- ┐A˅┐D ˅E
3.1 ┐C˅D
3.2 ┐B˅D
4.- B
5.- ┐E

5.- ┐E 2.- ┐A˅┐D ˅E

┐A˅┐D 1.-A

┐D 3.2 ┐B˅D

┐B 4.- B

Resultado: clausula vacía existe una contradicción. La función 5.- ┐E es falsa

Y entonces E es verdadera