MDLUL/Tautologie (Prädikatenlogik)

MDLUL/Tautologie (Prädikatenlogik)

Start=Tautologie (Prädikatenlogik)

Ziel=Prädikatenlogik/Allgemeingültig/Jedes Modell/Definition