有教师表(教师号，姓名，所在系，工资)，找出系内教师平均工资高于全体教师平均工资的系信息，正确的语句是______。

A) SELECT所在系，AVG(工资)FROM教师表
WHERE AVG(工资)>(SELECT AVG(工资)FEOM教师表)
B) SELECT所在系，AVG(工资)FROM教师表
WHERE AVG(工资)>(SELECT AVG(工资)FEOM教师表)
GROUP BY所在系
C) SELECT所在系，AVG(工资)FROM教师表
GROUP BY所在系
HAVING AVG(工资)>(SELECT AVG(工资)FEOM教师表)
D) SELECT所在系，AVG(工资)FROM教师表
GROUP BY所在系
WHERE AVG(工资)>(SELECT AVG(工资)FEOM教师表)

理由虚假和推不出是违反了哪条规律？（）

A、矛盾律

B、排中律

C、充分理由律

D、假设律