7.10.14.
Wenn ein Satz φa gegeben ist so sind mit ihm auch schon alle seine logischen Funktionen (~φa etc.) mitgegeben!