Бессмысленная истина

Пустая истина – условное или универсальное утверждение, которое истинно из-за отсутствия удовлетворения предшествующего утверждения.
Утверждения, имеющие абсолютную истинность, часто используются в качестве базовых примеров доказательств с помощью математической индукции.
Пустые истины могут вводить в заблуждение, содержа в себе разумные утверждения о несуществующих объектах.
В классической логике пустые истины встречаются чаще всего, но также могут появляться в интуиционистской логике.
В компьютерном программировании пустые истины часто используются в механизмах запросов, оценивающих каждый элемент коллекции элементов по предикату.

Полный текст статьи:

Пустая истина