原文:命题逻辑(十九)