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