描述逻辑基础

2011年描述逻辑基础，比描述逻辑手册好。