离婚的请求非依夫妻的本国法及法院地法均具有离婚的理由的，不得提出。该规则属于（）

• A、重叠适用的冲突规范
• B、单边冲突规范
• C、双边冲突规范
• D、选择适用的规范

有以下四个命题，且它们都成立:

(1)如果小王基础好(p)，学习又努力(Q)，而且方祛对头(r)，那么他就能学好逻辑(s)。

(2)小王没学好逻辑。

(3)小王的学习方法对头。

(4)如果小王学习方法对头，那么小王若础好。

根据以上条件，请解释小王学不好逻辑的原因，井写出推导过程。

写出下列各式所缺符号，使之成为有效的三段论式。