21
      p & q = p heißt “q folgt aus p”.