5.122 Folgt p aus q, so ist der Sinn von „p“ im Sinne von „q“ enthalten.