Lógica computacional - Significado, sinônimos e exemplos