简述真理功能。