Zum Inhalt springen

MDLUL/Ableitbarkeit (Prädikatenlogik)

Aus Wikiversity
MDLUL/Ableitbarkeit (Prädikatenlogik)

Start=Ableitbarkeit (Prädikatenlogik)

Ziel=Prädikatenlogik/Ableitbar/Definition