完成了命题逻辑部分，纠正了之前的算法分析错误。开始分析一阶谓词逻辑。