下列断定中违反逻辑基本规律的有（）

“没有一个人是生而知之的。”这判断是（）

“一个推理只有形式正确，才能得出可靠的结论，这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了()。

选言证法是通过先论证与原论题相关的其他可能性的论断都不能成立，然后确定论题真的一种间接论证方法。其依据的是（）

若“A可以分为B、C”是一个正确的划分，则B与C的外延间一定是（）