Re: [Logica-l] ∃x <-> x=x <-> x∈x

Oi Léo! Eu tenho preferido trabalhar com "quantificadores limitados", tipo isso aqui - ∀a∈A.P(a) - e traduzir os "quantificadores ilimitados", como isso aqui - ∀b.Q(b) - pra quantificadores limitados, às vezes usando um "conjunto universo" U, que na verdade não é um conjunto... Dá pra fazer isso

[Logica-l] ∃x <-> x=x <-> x∈x

Boa noite, gostaria de usar este espaço para divulgar meu trabalho recentemente publicado na amazon: Fundamentos Lógicos: relacionando linguagem, lógica e matemática Uma das ideias principais presentes nesta