Limits of pl Xam dle Socrates is a man". What can we do>aP" and Given two statements: "Al men are mort Solution o We all know the following statement holding Socrates is mortal o If they are formalized as two proposition, nothing can be impliedLimits of PL Example Given two statements:”All men are mortal” and ”Socrates is a man”. What can we do? Solution 1 We all know the following statement holding, ”Socrates is mortal”. 2 If they are formalized as two proposition, nothing can be implied. Yi Li (Fudan University) Discrete Mathematics May 9, 2012 10 / 22