"蕴含"到底是前提蕴含结果，还是结果蕴含前提?
蕴含一般是一个假设加一个结论，但是有时候教材上面是"假设->结论",有时候是"结论->假设",很让人疑惑
我就想知道，假设和结论，到底是谁蕴含谁?
例如，离散数学及其应用，开篇讲蕴含关系的时候，举了两个例子:
“只有你主修计算机或者不是新生，才可以从校园网访问因特网"
a代表"你可以从校园网访问因特网"，c代表"你主修计算机"，f代表"是新生"，然后就有
a->(c OR !f)
这个显然是结论蕴含了前提条件。
然后书上又举例"除非你已经年满16岁，否则只要身高不足4英尺，就不能玩公园的滑车"
令q，r，s分别表示"能玩公园的滑车","你已经年满16岁"，"身高不足4英尺",就有
(r AND !s)->!q
这个是假设蕴含了结果。
这两个例子，蕴含的方向是相反的。到底应该如何理解呢?
请高手解惑，不胜感谢!
[解决办法]
蕴含 表示 必要条件
“只有你主修计算机或者不是新生，才可以从校园网访问因特网"
a代表"你可以从校园网访问因特网"，c代表"你主修计算机"，f代表"是新生"，然后就有
a->(c OR !f)
a 是 (c OR !f) 的 充分条件， (c OR !f)是 a 的 必要条件
其实 (c or !f) -> a 也是成立的
也就是说 a <-> (c or !f)
但是
"除非你已经年满16岁，否则只要身高不足4英尺，就不能玩公园的滑车"
令q，r，s分别表示"能玩公园的滑车","你已经年满16岁"，"身高不足4英尺",就有
(r AND !s)->!q 这个我觉得书上是不是错了，
应该是(r or !s) <-> q
[解决办法]
肯定错了！
数理逻辑或许有助理解。
[解决办法]
怎么感觉像哲学呢
[解决办法]
复合命题p->q称之为p和q的蕴涵式，表示q是p的必要条件，即q蕴涵p，之所以q蕴涵p，是因为p->q <=> ~q->~p(<=>表示等价)，前者表示“p，则q”，后者表示“非q，则非p”。
