原文:无聊的逻辑学:命题为真的方式