问答题
设A，B，C为集合，证明A∩（B-C）=（A-C）∩（B-C）
问答题设A，B，C为集合，证明A∩（B-C）=（A-C）∩（B-C）
公式（p∧q）∨（p∧q）的成真赋值为（）。
填空题公式（p∧ㄱq）∨（ㄱp∧q）的成真赋值为（）。
在一阶逻辑中自然推理系统NS中构造下面的推理的证明：不存在不能表示成分数的有理数，无理数都不能表示成分数，所以...
问答题在一阶逻辑中自然推理系统NS中构造下面的推理的证明：不存在不能表示成分数的有理数，无理数都不能表示成分数，所以，无理数都不是有理数。
