写了面向命题逻辑的这部分，插入了一个坑爹的图。修改了摘要的显示。