It expresses that Q is true whenever P is true.
Εκφράζει ότι το Q είναι αληθής όταν το p είναι αληθές.