Hola chicos, tiempo de no vernos, me gusta el nuevo diseño.

Bueno el punto es que voy en segundo semestre de ingeniería y necesito exponer dos temas sobre lógica matemática y no encuentro NADA de información que ayude, todo esta con sinónimos, o con términos que no entiendo, ya leí toda la parte de lógica de un libro de matemáticas discretas y varios PDFs pero ninguno me ha ayudado en mi búsqueda, no se si ustedes puedan.

Tengo que dar una exposición sobre:
-Cláusulas definidas
-Reglas de resolución.
-Regla de resolución en cálculo de predicados.

Gracias de antemano

No sé si te servirá de algo, pero como lenguaje de programación lógica creo que tienes Prolog.
Lo mismo te puedo pasar transparencias de un curso de inteligencia artificial, que a lo mejor sacas algo.