A lógica formal está interessada na forma ou estrutura do raciocínio. A verdade das premissas e conclusões é uma preocupação secundária para esse ramo da lógica. A lógica formal tenta encontrar o método correto para derivar uma verdade da outra.