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