Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems