Lógica

Construção do conjunto que chamamos de linguagem da Lógica Proposicional.
(este post será apagado em breve)