计算题

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

G对应T的所有基本割集

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

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

问答题

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

求G对应T的所有的基本回来。

问答题求G对应T的所有的基本回来。