MDLUL/ableitbar (Prädikatenlogik Menge)

Aus Wikiversity
MDLUL/ableitbar (Prädikatenlogik Menge)

Start=ableitbar (Prädikatenlogik Menge)

Ziel=Prädikatenlogik/Ausdrucksmenge/Ableitbar/Definition