属加种差定义方法的逻辑公式是：被定义项=种差+邻近属概念。

划分的根据必须同一，是说在每次划分中，只能按照同一个标准进行。

判断题划分的根据必须同一，是说在每次划分中，只能按照同一个标准进行。

“民法”与“刑法”两个概念是全异关系。

判断题“民法”与“刑法”两个概念是全异关系。

由一个联言判断的真，推出它所包含的肢判断也真的联言推理形式是分解式。

判断题由一个联言判断的真，推出它所包含的肢判断也真的联言推理形式是分解式。