Diagnoza umiejętności oparta na twierdzeniach