Logica matematica computacional - Significado, sinônimos e exemplos