"" ist aber kein Element von , sondern eine Aussage. Das wäre dann die Abbildung auf die Aussage "". Dazu kommt, dass korrekterweise nur ein für alle Pfeile stehen sollte. Ich könnte hingegen ganz auf verzichten, nur wird dann die Grafik meines Erachtens wieder überflüssig. Ich glaube, die meisten Leser werden die Grafik schon richtig interpretieren, wenn sie den Text dazu lesen.-- Tensorproduct 16:57, 17. Dez. 2023 (CET)