第三节 与可能性的类型相关的能否检验判明问题