Oznaczanie (logika)