Fórum da comunidade

Como formalizar em lógica de primeira ordem que todo elemento de um conjunto A satisfaz uma propriedade p?

Leia as dúvidas, dicas e respostas da comunidade. Para escrever ou responder, entre na sua conta.