设有四个命题，其中两个命题是真命题，而另外两个命题是假命题：
(1)或者甲考上大学，或者乙考上大学；
(2)并非甲考上大学；
(3)乙考上大学；
(4)并非甲没考上大学。
问题：甲与乙是否考上大学?写出推理过程。

所谓推理形式，指的是推理的______在形式上的联系方式。

下列具有禁自返及传递性质的是（）。

• A、全同关系
• B、真包含于关系
• C、全异关系
• D、交 叉 关 系
• E、真包含关系