以模態判斷為前提或結論的推理。根據模態判斷間的關系進行。也有直接推理和間接推理之分。例如由“不可能一切規律都已為我們所掌握”推出“必然有的規律還沒有為我們所掌握”，就是一個直接的{1}。