Bom dia!
Alguém conhece alguma referência que apresente a cardinalidade de conjuntos
finitos baseada na definição abaixo?
|vazio| = 0
|A U {a}| = |A|+1
Minha pergunta é sobre uma apresentação formal dessa teoria.
Obrigado,
P
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVSz7FpiVNpVqofM9v%2BJy7Nr2dNqY3joXMR7Vu-Ou39qXw%40mail.gmail.com.
