Lógica proposicional: Alfabeto e considerações iniciais

São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.