Ich hab davon zwar noch nie was gehört, aber geteiltes Leid ist halbes Leid.

Bei der A. ist die Aufgabenstellung, dass man aus den vier Implikationen, die fünfte Implikation unter dem Strich beweisen soll.
Die Pfeile würde ich interpretieren als "aus a folgt b".

Zum Beweis werden in den ersten vier Kommandozeilen eingelesen, was gegeben ist. In (5) wird mit der Anweisung HS die Implaktion (1) mit (4) verknüpft. Dasselbe passiert in (6) mit (5) und (2).

In (7) folgt eine Kontraposition (KP) der Implikation (3).

In (8) wird mit der Anweisung HS nun (6) und (7) verknüpft und man hat die zu beweisende Aussage dastehen.

Ich hoffe ich konnte weiterhelfen.

Holly