逻辑形式的性质