Quantorenlogik/Freund/Aufgabe

Es bedeute , dass ein Freund von ist. Wir betrachten den Satz „Alle Freunde von Paula () sind auch Freunde von Susanna ().“ Beantworte für jede der folgenden Formalisierungen, was sie umgangssprachlich bedeuten, ob sie wahr sind (hier gibt es einen gewissen Interpretationsspielraum) und ob sie den angegebenen Sachverhalt ausdrücken (die Quantoren beziehen sich dabei auf die Menge der Menschen).