Statement Function In Discrete Mathematics