This depends on how the server is configured. If the server is set up to already redirect from / to /index.php, then no you would not want to create the redirect and make an endless loop. However, most servers display the same content for both URLs, with no redirect. In that case, a redirect to one or the other is the recommended strategy.

__________________
The best way to learn anything, is to question everything.