твердження, оцінка істинності яких може бути встановлена за допомогою одних лише умовиводів чи шляхом аналізу значень використаних слів
» Термінологічний словник