In Bezug auf a): Wenn -4<x<4, dann ist ja insbesondere x<4 und die Implikation müsste demnach gelten. Man kann zwar eine genauere Aussage treffen (nämlich x2 < 16 => -4<x<4), aber das hat keinen Einfluss auf die Korrektheit der dargestellten Aussage.