a推出b且c可以推出
A且B推出C或D能得出A推出C
a推出b或者c能等价于a推
A
a能推出b则b是a的什么
a推出b等于a
a可以推出b那么a是b的什么
a推出b和a
a推出b和a推出非b是矛
a推出b非a推出b什么
