Python all(): Universal Truth Value Testing & Logic Validation

1. Syntax & Formal Parameter Specifications 🔝

The all() function accepts a single iterable and returns a boolean value:

# Formal syntax of built-in all()
result_bool = all(iterable)

2. all() vs. any() Truth Table Comparison 🔝

The relationship between all() and any() maps to universal and existential logic:

3. Basic Usage: Lists, Numbers & Strings 🔝

Python evaluates elements according to standard boolean truthiness:

# 1. Lists with boolean and numerical truthiness
print("All positive numbers:   ", all([1, 2, 3, 4, 55]))  # True
print("Contains zero (falsy):  ", all([1, 2, 0, 4]))       # False
print("All False or zeros:     ", all([0, False]))         # False
print("One True, others False: ", all([False, True]))      # False

# 2. String truthiness
print("Non-empty text:         ", all("plus2net"))         # True
print("Literal string 'False': ", all("False"))            # True (characters are non-empty!)

Output:

All positive numbers:    True
Contains zero (falsy):   False
All False or zeros:      False
One True, others False:  False
Non-empty text:          True
Literal string 'False':  True

4. Vacuous Truth & Empty Iterables 🔝

In formal logic, a universal claim over an empty set is true because zero counterexamples exist:

# The Vacuous Truth Principle in Python
print("Empty list:  ", all([]))       # True!
print("Empty tuple: ", all(()))       # True!
print("Empty set:   ", all(set()))    # True!
print("Empty string:", all(""))       # True!
print("Empty dict:  ", all({}))       # True!

Output:

Empty list:   True
Empty tuple:  True
Empty set:    True
Empty string: True
Empty dict:   True

5. Evaluating Tuples & Dictionary Keys 🔝

Iterating over a dictionary directly inspects its keys. Use .values() to test mapped values:

# 1. Tuples evaluation
print("Tuple (True, 1, 12): ", all((True, 1, 12)))   # True
print("Tuple (True, 0):     ", all((True, 0)))       # False
print("Tuple (0, 0):        ", all((0, 0)))          # False
print("Tuple (0, 1):        ", all((0, 1)))          # False

# 2. Dictionaries evaluate KEYS only, never values
print("Keys 0 and 1:          ", all({0: 'A', 1: 'B'}))       # False (key 0 is falsy)
print("Keys 1 and 2:          ", all({1: True, 2: False}))    # True! (both keys are truthy)
print("Explicit values check: ", all({1: True, 2: False}.values())) # False (checks values)

Output:

Tuple (True, 1, 12):  True
Tuple (True, 0):      False
Tuple (0, 0):         False
Tuple (0, 1):         False
Keys 0 and 1:           False
Keys 1 and 2:           True
Explicit values check:  False

6. Short-Circuit Evaluation & Generators 🔝

all() short-circuits immediately upon encountering the first falsy element without evaluating remaining items:

# Generator to observe short-circuit evaluation
def evaluate_stream():
    for x in [10, 20, 0, 50, 100]:
        print(f"  Checking item: {x}")
        yield x

print("Starting all() evaluation:")
res = all(evaluate_stream())
print("Result of all():", res)

Output:

Starting all() evaluation:
  Checking item: 10
  Checking item: 20
  Checking item: 0
Result of all(): False

7. Production Recipes & Practical Applications 🔝

Real-world patterns utilizing all() for payload validation and threshold checks:

# Recipe A: Form payload validation
form = {"user": "alex", "email": "a@test.com", "terms": True}
required = ["user", "email", "terms"]
print("Form valid:", all(bool(form.get(k)) for k in required))

# Recipe B: Range threshold checks
temps = [21.5, 22.0, 21.8, 22.4]
print("All temps safe:", all(20.0 <= t <= 25.0 for t in temps))

Output:

Form valid: True
All temps safe: True

8. Common Pitfalls & Developer Traps 🔝

# Pitfall 1: Vacuous truth on empty collections
empty_ids = []
print("Empty list check (Trap):", all(x > 0 for x in empty_ids))  # True!
# Safeguard: verify collection is non-empty first
print("Safeguard check:        ", bool(empty_ids) and all(x > 0 for x in empty_ids))

# Pitfall 2: Dictionary keys vs values
status = {"user1": True, "user2": False}
print("Keys check (Trap):      ", all(status))         # True
print("Values check (Correct): ", all(status.values()))# False

Output:

Empty list check (Trap): True
Safeguard check:         False
Keys check (Trap):       True
Values check (Correct):  False

9. Interactive Notebook & Practice Exercises 🔝

Practice universal truth testing, short-circuit profiling, and form validation in our companion Jupyter Notebook:

Self-Verifying Assertion Suite

Run these unit checks directly in Python or your local environment to verify all() mechanics:

def test_all_mechanics():
    # 1. Truthiness across sequences
    assert all([1, 2, 3]) is True
    assert all([1, 0, 3]) is False
    
    # 2. Vacuous truth on empty containers
    assert all([]) is True
    assert all(set()) is True
    assert all("") is True
    
    # 3. Dictionary evaluation
    assert all({1: False, 2: False}) is True
    assert all({1: False, 2: False}.values()) is False
    assert all({0: True}) is False
    
    # 4. Generator short-circuit
    assert all(x > 0 for x in [5, 10, -1, 20]) is False
    
    print("All all() unit assertions passed! 100% verified.")

test_all_mechanics()

Output:

All all() unit assertions passed! 100% verified.

10. Related Built-in Functions & Logical Tools 🔝

Subhendu Mohapatra

Author & Instructor at plus2net

I write and maintain practical tutorials on Python, PHP, SQL, JavaScript, HTML, jQuery, and web development at plus2net. The tutorials focus on clear explanations, working examples, and code that readers can test and adapt while learning.

About the author   Watch on YouTube

Connect: