Is finding the precondition of a switch statement similar to an if-else statement?

Question

So I understand the concept of finding the precondition when its an if-else statement. I was just wondering if the same idea then extends to switch statements? Do switch stateme