若给定某一确定的逻辑图，它反映的逻辑关系所对应的逻辑描述是唯一的。