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

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

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

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

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

如果有两个或者两个以上的选言肢是真的，该不相容的选言判断也是真的。

判断题如果有两个或者两个以上的选言肢是真的，该不相容的选言判断也是真的。