在法律推理中，形式推理以下列条件为前提：第一，法律规则明白无误，无含糊不清之处；第二，体系一致，毫无命题间的相互矛盾；第三，（）。

法律推理，是指对法律命题的一般逻辑推理。常见的有演绎推理，归纳推理和类比推理。演绎推理是以一般的原则为标准推断出某一具体情况的解决方式。如甲类情况受乙规则支配，某一案件的情况属于甲类，因此这个案件要受乙规则支配。归纳推理是从两个或更多的同类特殊命题中获取一般性命题的推理。如在甲案件中，制造商对于过失造成的、由饮料瓶成品引起的损害负有责任；在乙案件中，制造商对由过失造成的、由包装布料成品引起的损害负有责任，从这两个命题中，人们可以归纳出一般的命题，即制造商要对他过失地提供给人们使用的包装品引起的损害承担责任。这个一般命题可作为演绎推理的基础。然而从两个或更多的特殊命题中也可能归纳出几种普遍程度不同的一般性命题。类比推理是根据两种情况在某些特征上的相似，做出它们在其它特征上也可能相似的结论。如在乙案件中可应用甲规则，现在有一个在所有实质方面类似于乙案件的案件，那么甲规则也可应用于这个案件。但类

形式推理又称分析推理，就是运用形式逻辑进行推理。这种推理的前提是“法院可以获得表现为某条规则或原则的前提，尽管该规则或原则的含义与适用范围也许在所有情形下，并非都是确定无疑的，而且调查事实的复杂过程也必须先于该规则的适用”。

前提的读音是qiántí，英文是premise，主要指事物的先决因素，