MDLUL/Folgerungsbeziehung

Start=Folgerungsbeziehung

MDLUL/Folgerungsbeziehung

Ziel=Prädikatenlogik/Folgerung/Über Modelle/Definition