3 ms·
Is there not a convention within formal logic defining this type of statement to be true or false?
by lukas099 2y ago
Is there not a convention within formal logic defining this type of statement to be true or false?
- scotty79 2y agoThere is. [].all(x => whatever(x)) == true At least that's how math usually thinks about it.
- gabrielhidasy 2y agoThere 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".