MDLUL/Tautologie (Prädikatenlogik allgemeingültig)

MDLUL/Tautologie (Prädikatenlogik allgemeingültig)

Start=Tautologie (Prädikatenlogik allgemeingültig)

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