问一个关于模态逻辑的问题假设“可能某些人是坏人”是真的话那么“小明可能是坏人”也是真的吗?从某些能推出确定的个别出来吗?