根据真值模态判断的对当关系，“必然P与可能P”是差等关系。

法律分为实体法和程序法”没有逻辑错误。

判断题法律分为实体法和程序法”没有逻辑错误。

“金属是导电体”是一个判断。

判断题“金属是导电体”是一个判断。

否定判断是断定思维对象不具有某种性质的判断。

判断题否定判断是断定思维对象不具有某种性质的判断。