形式化推理
有一道离散数学题:
p是命题“今天下午出太阳”,r是命题“我们将去游泳”,s是命题:“我们将乘独木舟游览”那下面这句话
只有今天下午出太阳,我们才去游泳。为什么是r→p而不是p→r?
若我们不去游泳,则我们将乘独木舟游览。这句却又是否定r→s。求详细解释
邮箱: 联系方式: