/ \  
φx, ψy❘χz, (∃x) ∙ , (x) ∙
Da es sich offenbar leicht erklären läßt wie mit diesen Operationen ˇsich Sätze bilden lassen und wie sich Sätze nicht zu bilden sind so muß sich dies auch irgendwie exact ausdrücken lassen.