问答题 在一阶逻辑自然推理系统NS中构造下面的推理的证明：

问答题 G对应T的所有基本割集

问答题 判断推理是否正确： 设y=2∣x∣，x为实数，推理如下： 若y在x=0可导，则y在x=0连续。y在x=0连续，所以，y在x=0可导。