Logica formal aplicada - Significado, sinônimos e exemplos