Questão da Última Prova (28/11)
A última prova do curso terá uma única questão, puramente conceitual e teórica, a saber: Explique a definição de verdade para linguagens de primeira ordem, e como ela se aplica às noções de verdade lógica e consequência lógica. (Basicamente, você deve explicar em detalhes (e com exemplos) as definições 10.1 e 10.2 do Cap. 10, e indicar como elas ajudam a definir verdade lógica e consequência lógica.)