Little question (math logic)

Exactly it's a double implication. So if p is true and q is false then the whole thing is false.

Unless you're asking a different question.