Demonstração do teorema da compacidade para o cálculo proposicional. Consequência semântica. Deduções formais no cálculo proposicional. Consequência sintática. O teorema da completude para o cálculo proposicional (Bernays).

Linguagens do cálculo proposicional. Leitura única. Valorações. Tautologias. Completude vero-funcional. O símbolo de Sheffer.

Enunciado do teorema da compacidade para o cálculo proposicional.