1 Lógica Proposicional. 2 Sintaxe (uma revisão mais formal) Def.1 Um alfabeto é um conjunto qualquer de símbolos. Def. 2 Dado um alfabeto , uma.
