Pragmatic logic door Ajdukiewicz