1 questão sobre estruturas e Lassinaturas transcrições 1 questão sobre homomorfismos 1 questão sobre unificação de termos 1 questão sobre forma padrão de skolem 1 questão sobre modelo e contramodelo 1 questão sobre diagrama positivo 1 questão sobre modelo canônico 1 questão sobre método da resolução
