Formalização e formação de fórmulas (wff), e Tabela-Verdade com os operadores lógicos (parte 1)