法律程序是指人們進行法律行為所必須遵循或履行的法定的時間與空間上的步驟和形式，是實現(xiàn)實體權利和義務的合法方式和必要條件。

類比推理是指根據(jù)兩個或兩類對象某些屬性相同從而推出它們在另一些屬性方面也可能存在相同點的推理。

歸納推理是從個別事物或現(xiàn)象的知識推出該類事物或現(xiàn)象的一般原則的推理。

形式推理是指解決法律問題時所運用的演繹方法、歸納方法和類推方法。

法律推理是指以法律與事實兩個已知的判斷為前提運用科學的方法和規(guī)則為法律適用結論提供正當理由的一種邏輯思維活動。