Existe dois tipos de lógica

A informal : é aquela que está presente no nosso quotidiano e não obedece a regras
específicas. Contém tambem muita semântica e adapta-se ao sujeito falante sendo por isso
pragmática. Esta lógica também contém muitas palavras homónimas o que muitas vezes nos
pode induzir em erros e levar a falsas interpretações

A formal : é uma lógica em que há regras e uma organização específica. Para não permitir
erros, a lógica formal, utiliza um dicionário – linguagem proposicional, em que se substituem
as proposições por linguagem simbólica (P, Q, R,... ). A lógica formal, como não usa palavras,
não possui semântica nem pragmática e a sua linguagem não se adapta consoante o
interlocutor. Por estas razões,a lógica formal é exata e não permite equívocos nem erros no
raciocínio.