“根据是否具有迁徙的属性，鸟可以分为留鸟、候鸟和鹰”，这一划分犯了子项相容的逻辑错误。

“树木分为阔叶树和针叶树”划分的标准是树叶的形状。

判断题“树木分为阔叶树和针叶树”划分的标准是树叶的形状。

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

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

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

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