Si è provato il teorema di sostituzione. Grazie a questo si sono individuate proprietà di equivalenza semantica quali le leggi di De Morgan [ritratto in figura].

Si sono introdotte le nozioni di connettivo derivabile e di insieme funzionalmente completo di connettivi. Si sono introdotti i concetti di forma normale congiunta e forma normale disgiunta, provando che ogni formula ben formata può essere ridotta in queste forme. Ciò implica in particolare che negazione, disgiunzione e congiunzione formano un insieme funzionalmente completo di connettivi.