p ∙ q = p heißt „q folgt aus p”