Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

bitset: fix Empty __contains__ to return True #1

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

macabeus
Copy link

@macabeus macabeus commented Apr 24, 2019

O projeto bitset tem duas classes que representam conjuntos de números: a Natural e a Empty.
Nessas classes temos alguns métodos para poder trabalhar com elas, dentre eles, o método __contains__, que é usado para perguntar "nesse conjunto há esse número?".

Porém, na classe Empty (que representa um conjunto vazio), o método __contains__ está retornando False, o que contraria o afirmação Verdade por Vacuidade, da qual diz que um conjunto vazio sempre contém todos os elementos.
Afinal, se não podemos provar que determinado conjunto não tem certo elemento, então quer dizer ele tem. Em uma mesa vazio há algum celular ligado? Como não podemos provar que não há, então há. Em um conjunto vazio há o número 4? Como não podemos provar que não há, então há.

O que acha dessa sugestão? 😄

`__contains__` should returns `True` because the statement Vacuous Truth.

https://en.wikipedia.org/wiki/Vacuous_truth
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant