原文:命题逻辑(二十五)