MDLUL/Ableitungen (Prädikatenlogik Menge)
Start=Ableitungen (Prädikatenlogik Menge)
| MDLUL/Ableitungen (Prädikatenlogik Menge) |
|---|
Siehe=ableitbar (Prädikatenlogik Menge)
MDLUL/ableitbar (Prädikatenlogik Menge)
Ziel=Prädikatenlogik/Ausdrucksmenge/Ableitbar/Definition