palavras-chave Ciências Naturais::Matemáticas Conjuntos Funções Grafos Indução Natural Lógica Relações Binárias