四章节谓词演算推理理论