Propositional Logic - List of N integers Today in our propositional-calculus class, we were asked this question:

Suppose you have a list of N integers: you write a computer program to
analyze the list. If every integer in the list is greater than 10,
then the returned output is the value TRUE. Else, the output is the
value FALSE. If N = 0, and therefore, the list is empty, what is the
output?

While explaining how to interpret the problem, my teacher said that the returned value is FALSE, because, since the list is empty, there aren't any counterexamples against that statement.
I didn't seem to grasp that. First of all, isn't the else statement a condition in itself? Namely, the condition:

If there's at least one number less than (or equal to) 10 [...]

There aren't any counterexamples to that either, so why favouring a condition over the other?
Honestly, my solution (as wrong as it may be) would be to claim that the expressed conditions simply do not cover the &quot;empty list&quot; case, so the output value cannot be determined with the information we possess.
Otherwise, is the &quot;else&quot; to be interpreted as &quot;in every other case&quot;? In this eventuality, the output would be FALSE, but to be fair, I'm not sure of this answer.
So, what is the solution?
I suspect your teacher just got muddled with which output represents what. If there are is a counterexample to the statement &quot;every integer in the list is greater than 10&quot;, it should output FALSE. Since there can't be a counterexample, it should output TRUE. So the reasoning is correct, but your teacher has linked it to the other output, presumably by mistake.
FWIW if I was to program this in python, it would look like
def all_greater(mylist):
    for x in mylist:
        if x&lt;10:
            return False
    return True

This will return True if the list is empty, because the loop will execute 0 times.
It depends on how the code is written. I'm pretty sure it can be False or True depending on the code itself.