Also, when adding a request, please include as much information as possible (such as webpages, articles, or other reference material) so editors can find and distinguish your request from an already-created article.
Trivial truth - currently a redirect to Triviality; a previous comment stated: there is an article
vacuous truth, and triviality but no article trivial truth, was thinking about making it an link to
Tautology but then thought not all tautologies are trivial (obvious) truths, maybe P -> P is the only tautology that really is an trivial truth)
Event semantics (A semantics for first-order logic wherein one declares predicates to be true in relation to some event or some action resulting from an event e.g. would mean "An event occurs wherein Alice does action . Action is 'walk the dog'. The event is quick".
Also, when adding a request, please include as much information as possible (such as webpages, articles, or other reference material) so editors can find and distinguish your request from an already-created article.
Trivial truth - currently a redirect to Triviality; a previous comment stated: there is an article
vacuous truth, and triviality but no article trivial truth, was thinking about making it an link to
Tautology but then thought not all tautologies are trivial (obvious) truths, maybe P -> P is the only tautology that really is an trivial truth)
Event semantics (A semantics for first-order logic wherein one declares predicates to be true in relation to some event or some action resulting from an event e.g. would mean "An event occurs wherein Alice does action . Action is 'walk the dog'. The event is quick".