O documento discute as relações semânticas entre os conectivos da lógica proposicional. Apresenta que os conjuntos {¬, V} e {¬, Λ} são conjuntos completos e podem expressar todos os outros conectivos. Também mostra como obter as formas normais disjuntiva e conjuntiva de uma fórmula e como resolver o problema de Post para determinar uma fórmula a partir de uma tabela verdade.