本文利用线性算子的谱理论给出了逻辑序下两个自伴算子下确界的谱表示.
In this note,using the spectral theory of linear operators,a spectral representation of infimum of two self-adjoint operators with respect to the logic order is established.