Veamos el Roadmap para aprender sobre Lógica, basándonos en el temario de la Universidad de Alicante y en el de la Universitat Oberta de Catalunya (Asignatura Libre sobre Lógica pero sobre todo, en las Clases sobre Lógica de Fran Gallego en la UA publicadas en su canal más las clases de Matemáticas I colgadas en el canal de la Universidad de Alicante-

DISCLAIMER: Esta es un documento absolutamente vivo que queda publicado desde ya por motivos de indexación en buscadores y por la utilidad que pueda proporcionar, aún incompleto
  1. Lógica de Enunciados
  2. Lógica de Predicados
  3. Lógica y Álgebra de Boole
  4. Teoría de Conjuntos

Y en paralelo, ya unire las listas cuando realmente tenga claro como encaja todo esto de forma lógica (jaja):

Material de estudio: Libro "Lógica de primer orden" de x María Jesús Castel de Haro,y Faraón Llorens Largo, liberado bajo licencia Creative Commons por la Universidad de Alicante, y que a buen seguro variará este Roadmap drásticamente.

Parece un temario pequeño, pero de pequeño tiene poco ¡al lio!

Referencias Bibliográficas

Castel de Haro, Mª Jesús; Llorens Largo, Faraón. Lógica de Primer Orden. Alicante: Departamento de Ciencia de la Computación e Inteligencia Artificial, Universidad de Alicante, 1999. ISBN 84-922775-5-6, 255 p.