R


Aus A folgt B


… in der Aussagenlogik die Implikation ↗