设p、q是任意命题。p因果蕴涵q指的是：如果p是真的，那么因为p是真的，q也是真的。p反事实蕴涵q指的是：如果p与事实相反，p是真的，那么q也是真的。p严格蕴涵q指的是：必然地，如果p是真的，那么q也是真的。根据上述定义，下列不属于上述三种蕴涵关系的是:
如果1+1=2，那么0=1
如果a＜b 且 b＜c ，那么a＜c
如果甲从台阶上摔断了腿，那么当时他会感觉疼痛
如果大气层本就不存在，那么地球上将不会有生命
