Logica da primeira ordem - Significado, sinônimos e exemplos