Projekt:Semantische Organisation der Mathematik/Verschachtelte Darstellungsformen/Implikationsdiagramme

Eine übersichtliche Darstellung von logischen Beziehungen wird durch Implikationsdiagramme gegeben. Für ein Beispiel siehe

Die Begriffe sind dabei zu den Definitionen verlinkt und die Implikationspfeile zu den entsprechenden Aussagen.