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