--同学们好,lab4我批好了,几个问题反馈一下:1、关于第一题的证明,可以假设A=(P_1,...,P_n)然后直接讨论P_1,...,P_n的取值。2、第二题有很多同学还不明白主范式的定义,主范式就是仅含极大(小)项的范式。3、第三题要求用3种方法证明的。4、有一些同学上次作业没拿回去,这我可是算你上课没来的^.^5、如果用纸写的作业,多于1张的最好订起来,不容易搞丢。祝大家周末愉快!2012-10-21--------------------------------------------Sincerely yours,Fei Yang(杨非)Shanghai Jiaotong UniversityDepartment of Computer Science and EngineeringLab: Dianxin Building Room 3-329E-mail: ia...@sjtu.edu.cnTelephone: 13917001186