Why Python built in “all” function returns True for empty iterables?

by

This is expressed as “For all X in S, X is true”. If S is empty, there are no X. However, the truth statement remains True, because for all X, X was true… there just aren’t any X!

Here is a explanation using logic.

Consider two sets A and B where A+B is the union of the two sets.

If any(A+B) = True -> any(A) or any(B) = True but we cannot assert
either any(A)=True or any(B)=True.

If any(A+B) = False -> any(A) = False and any(B) = False.

If all(A+B) = True -> all(A)=True and all(B)=True

if all(A+B) = False -> all(A)=False or all(B)=False but we cannot assert either all(A)=False or all(B)=False.

Now instead of B, let’s add the empty set Ø to A. We want to come up
logic such that adding the empty set does not change the values of
all() or any(), since A+Ø=A.

any(A+Ø) = any(A) or any(Ø)

any(Ø) must be False, so that if any(A) is True, any(A+Ø) is True, and
if any(A) is False, any(A+Ø) is False.

all(A+Ø) = all(A) and all(Ø)

if all(A) is True, all(A+Ø) is True. Therefore, all(Ø) is True.

More Related Contents:

  1. Lists, conditionals and loops don’t give the result expected [closed]
  2. How do you remove duplicates from a list whilst preserving order?
  3. Get the cartesian product of a series of lists?
  4. tkinter: how to use after method
  5. sort() and reverse() functions do not work
  6. Dictionaries and default values
  7. python setup.py uninstall
  8. Performing a getattr() style lookup in a django template
  9. Functions that help to understand json(dict) structure
  10. Regular expression usage in glob.glob?
  11. Split an integer into digits to compute an ISBN checksum
  12. Python – requests.exceptions.SSLError – dh key too small
  13. pandas dataframe, copy by value
  14. python: restarting a loop
  15. Most Pythonic way to kill a thread after some period of time
  16. Python equivalent of a given wget command
  17. Discovering public IP programmatically
  18. How to prevent automatic escaping of special characters in Python [duplicate]
  19. Python Class __div__ issue
  20. What is the Python 3 equivalent of “python -m SimpleHTTPServer”
  21. Boolean Series key will be reindexed to match DataFrame index
  22. How do I prevent fixtures from conflicting with django post_save signal code?
  23. py2exe fails to generate an executable
  24. Rotating an image with orientation specified in EXIF using Python without PIL including the thumbnail
  25. Anti-Join Pandas
  26. How to generate a random UUID which is reproducible (with a seed) in Python
  27. Seaborn tsplot does not show datetimes on x axis well
  28. sampling random floats on a range in numpy
  29. Message: stale element reference: element is not attached to the page document in Python
  30. Kivy error, [CRITICAL] [Text ] unable to find any valuable text provider (python 3.6.1) (windows 10)

Leave a Comment