“Πp ⊃ p”
klingt uns,
klingt
als sagte es: Wenn Πp der Fall ist, so wirst
finden, daß p der Fall ist.