Logics-Function

I am a Function in a Logics-System.