Logicas computacionais - Significado, sinônimos e exemplos