举报Bearshouse的博文：

谓词逻辑合式公式及解释