[HELP]Switch Case syntax and edge detection with two push buttons for a van

Projects Programming
4 
[color=blue]if(backButtonState == HIGH)[/color]

implies you are switching the input pin to Vcc. Is there a pulldown resistor to insure the pin is at ground potential when the switch is inactive?