\newpage
\lohead{\color{gray} Chapter taken from \href{\gitLAAITwo}{\texttt{\color{gray}Languages and Algorithms for AI (module 2)}}}
\lehead{\color{gray} Chapter taken from \href{\gitLAAITwo}{\texttt{\color{gray}Languages and Algorithms for AI (module 2)}}}

\graphicspath{{../../languages-and-algorithms-for-ai/module2/}}
\input{../../languages-and-algorithms-for-ai/module2/sections/_propositional_logic.tex}
\input{../../languages-and-algorithms-for-ai/module2/sections/_first_order_logic.tex}
\graphicspath{}

\newpage
\lohead{}
\lehead{}