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