Lógica Computacional - Aula 3 - Sintaxe