三个正确推理规则:所有A是B→有些B是A;有些A是B↔有些B是A;所有A非B↔所有B非A;
三个错误推理规则:所有A是B→所有B是A;有些A是B→有些A非B;有些A非B→有些B非A;
正确的是能推出来的,错误的是推不出来的~