MDLUL/ableitbare Tautologie (Prädikatenlogik)

Aus Wikiversity
MDLUL/ableitbare Tautologie (Prädikatenlogik)

Start=ableitbare Tautologie (Prädikatenlogik)

Ziel=Prädikatenlogik/Ableitbar/Definition