MDLUL/syntaktische Tautologie (Prädikatenlogik)

Start=syntaktische Tautologie (Prädikatenlogik)

MDLUL/syntaktische Tautologie (Prädikatenlogik)

Ziel=Prädikatenlogik/Ableitbar/Definition