MDLUL/Ableiten (Prädikatenlogik)

Aus Wikiversity
MDLUL/Ableiten (Prädikatenlogik)

Start=Ableiten (Prädikatenlogik)

Ziel=Prädikatenkalkül/Ableitbar/Definition