Yes, I use INVALID for scenarios where "p" is unsatisfiable, as well as scenarios where I encounter other types of nonsense sentences. For example, "the uppercase is having a daydream", or a more subtle one, "the country is proud of its own products" when considered literally (as a country is incapable of feeling proud). I should have called it NONSENSE instead.
No comments yet.