La materia tiene como objetivos: conocer y entender los formalismos de la lógica proposicional y de primer orden, su poder expresivo y limitaciones. Reconocer las diferencias entre las formalizaciones sintácticas y semánticas ...