模态推理造句

以模态判断为前提或结论的推理。根据模态判断间的关系进行。也有直接推理和间接推理之分。例如由不可能一切规律都已为我们所掌握”推出必然有的规律还没有为我们所掌握”，就是一个直接的模态推理。