A.所有A不是C B.有A不是C C.所有C不是A D.有C不是A
单项选择题先论证与被反驳的论题相矛盾或相反对的判断为真，然后根据（），就可以确定被反驳的论题为假。
A.同一律B.矛盾律C.排中律D.充足理由律
单项选择题根据对当关系，由SAP可推出的结论是（）
A.SEP B.EP C.SIP D.SOP
问答题甲、乙、丙、丁争夺一名围棋赛冠军。已知下列A、B、C三种说法中，有且只有一种说法正确。问：谁夺得冠军？请写出推导过程。A.冠军或是甲或是乙。B.如果冠军不是丙，那么冠军也不是丁。C.冠军不是甲。
问答题有a、b、c三类。已知：甲a真包含于b，乙c与b交叉。试证：a与c的关系。
问答题“如果A属于M，那么A也属于N；A不属于M；所以，A也不属于N。”这一推理属于何种推理？其推理形式是否正确？为什么？
