Поиск истинных высказываний: примеры и объяснения