la característica de la teoría lógica