插件无法实例化，还有冲突问题
eclipse
帮助
关于
安装细节
选中“ Babel Language Pack for rt.rap in Chinese (Simplified) ”
卸载
完成
重启eclipse
总之装语言包时不要安装rt.rap这个包（除非你使用rap插件），与这个问题类似的很多汉化出错问题也会解决。
证明苏格拉底论证是有效的。利用离散数学知识
苏格拉底论证：凡人要死。苏格拉底是人，所以苏格拉底是要死的。
现将命题符号化：记
P(x)：x 是人；D(x)：x是要死的；a：苏格拉底。
前提：Ax(P(x)→D(x))，P(a)； （A 表示全称量词）
结论：D(a)。
证明
1）Ax(P(x)→D(x)) 前提引入
2）P(a)→D(a) 1) UI
3）P(a) 前提引入
4）D(a) 2）3）假言推理
得证。