问答题

【参考答案】

模糊合取,模糊析取,基本蕴涵,命题演算,GMP推理,GMT推理。