То, что является результатом формального набора логических выводов, результатом дедуктивного процесса. Сам такой процесс называется деривацией.