la propiedad de la teoría lógica