所需的人脸识别的训练好的模型因为文件过大无法传到github，可于http://osawfig85.bkt.clouddn.com/MyFacePCAModel.xml以及http://osawfig85.bkt ...

命题公式的归纳定义如下： 命题变元（通常用大写字母G、H、…等表示）本身是一个公式； 如G是公式，则(┐G)也是公式； 如G，H是公式，则(G∧H)、(G∨H)、(G→H)、(GH)也是公式； 仅由有限步使用规则①-③后产生的结果即命题公式。 （1）对于用户输入的任意字符 ...