alt Hacker NewsIs there not a convention within formal logic defining this type of statement to be true or false?
Replies
scotty79 • 12/09/2024
There is.
[].all(x => whatever(x)) == true
Is there not a convention within formal logic defining this type of statement to be true or false?
There is.
[].all(x => whatever(x)) == true
There is, it's the "Vacuous Truth", generally any affirmation about elements of the empty set is true. It's very useful as it allows you to convert any statement "All elements of x are Y" in "No element in x is Not Y".