Skip to content

bitset: fix Empty __contains__ to return True - #1

Open
macabeus wants to merge 1 commit into
ramalho:masterfrom
macabeus:macabeus-patch-1
Open

bitset: fix Empty __contains__ to return True#1
macabeus wants to merge 1 commit into
ramalho:masterfrom
macabeus:macabeus-patch-1

Conversation

@macabeus

@macabeus macabeus commented Apr 24, 2019

Copy link
Copy Markdown

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.

1 participant