二、异法式
异法式就是“具异法喻”，是因与异品组合而成的量式。法称在《正理滴论》中，同样按照未缘到因、自性因、果性因对异法式进行分类叙述，一一列举了相应的量式。
（一）依未缘到因而立的异法式
“若物现有，其可得相复具足者，是则彼物决定可得，如彼青色，此白色等。然于此处，瓶可得相虽已具足，现有之瓶而不可得。是为不可得比量因式。”[11]即：
标准大前提：若物现有，其可得相复具足者，是则彼物决定可得。如青色、白色。
小前提：此处，瓶可得相虽已具足，现有之瓶而不可得。
结论：（所以，此处无瓶）。
显然该推理过程中省略前提：“若此处有瓶，瓶可得相已具足，则此处可得瓶。”
上述量式可量化为：
标准大前提：对于所有的x而言，如果x具有性质S，且有性质P，那么x具有性质S。如t。
省略之前提：对于a而言，如果a具有性质S，且有性质P，那么a具有性质S。
小前提：对于a而言，a具有性质P，但a不具有性质S。
结论：（所以，a不具有性质S）。
进一步量化为：
x（（S（x） Λ P（x））→S（x）），如t
S（a） ΛP（a）→S（a）（可省略）
P（a） Λ-S（a）
∴-S（a）
按照上述依未缘到因而立的同法式的量化处理方式，先暂时不考虑喻依，我们通过使用全称量词销去规则，可以由标准大前提得到省略前提，即由
x（（S（x） ΛP（x））→S（x））├（S（a）ΛP（a））-→S（a）。由省略前提、小前提和结论构成的推理形式为：（S（a） ΛP（a）→S（a）） Λ （P（a） Λ-S（a））├-S（a），进一步简化为：（pΛq→p）Λ（qΛ-P） ├-p，证明该推理为有效式即：
根据反三段论推理可得：pΛq→p├（qΛ-p）→-p
由充分条件假言推理的肯定前件式得：（（qΛp-）→-P）Λ（qΛ-P）├-p
由可证得，（pΛq→p）Λ（qΛ-p）├p-为有效式，所以依未缘到因而立的异法式是演绎推理。从现代逻辑来看，反三段论推理是充分条件假言推理否定后件式的特殊形式，因此，该异法式可以视为是充分条件假言推理的具体应用，是充分条件假言推理否定后件式的变形。
（二）依自性因所成的异法式
为了不赘述，法称在论依自性因所成的异法式时，将三个量式合为一个，并依此按照单纯自性因、自性本具义法所立、自性限定一义的顺序进行论述。
“若非无常，则非实有、非有生、非所作性。声是实有，或有生，或所作性。是名自性比量因式。”[12]即：
标准大前提：若非无常，则非实有、非有生、非所作性。如虚空。
小前提：声是实有，或有生，或所作性。
结论：（所以，声是无常）。
“无常”、“有”、“有生”、“所作性”之间的关系为：
将“声”作为研究对象，“有”、“有生”、“所作性”三者之间属于包含或者蕴涵关系，这样“声是无常”的属性就可以传递。因此，为了不赘述，我们现在就只讨论“声是实有”的情况，对上述量式补充完整：
标准大前提：如果所有的物是常住的，那么就不是实有。如虚空。
小前提：声是实有。
结论：（所以，声不是常住的）。
可以量化为：(https://www.daowen.com)
标准大前提：任意x，x是P，则x不是M。如t。
小前提：任意x，x是S，则x是M。
结论：（所以，x是S，则x不是P）。
进一步量化为：
（P（x）→-M（x）），如t
x（S（x）→M（x））
∴
x（S（x）→-P（x））
在不考虑喻依的情况下，可以简述为：
PEM
SAM
SEP
显然上述形式为亚氏三段论第二格EAE式（Cesare），但值得注意的与依自性因所成的同法式一样，是概念之间的关系变化。法称在考察推理的过程中，更注重对概念间的关系的研究，并将概念之间的关系融入推理的过程中，特别是研究了由概念之间内涵外延的关系变化而引起的推理的有效性的变化。
（三）依果性因所成的异法式
“若无火处，烟定不有；而于此处现见有烟。是名果比量因式。”[13]即：
标准大前提：若无火处，烟定不有。如水上。
小前提：此处现见有烟。
结论：（所以，此处有火）。
显然上述量式省略前提：“若此山无火，则此山无烟。”
上述量式，可以量化为：
标准大前提：如果所有的x不具有性质S，则所有的x不具有性质P。如t。
省略之前提：如果a不具有性质S，则a不具有性质P。
小前提：a具有性质P。
结论：（所以，a具有性质S）。
进一步量化为：
x（-S（x）→-P（x）），如t
-S（a）→-P（a）（可省略）
P（a）
∴S（a ）
在不考虑喻依的情况下，通过全称量词消去规则，由标准大前提得到省略前提：
x（-S（x）→-P（x）） ├-S（a）→-P（a）
从而将省略前提、小前提和结论构成的推理形式简化为：
（-p→-q） Λ q ├p
显然该形式为充分条件假言推理的否定后件式。因此，依果性因所成的异法式是有效推理。
综上所述，从现代数理逻辑角度出发，异法式经过形式化以后，可以分为两类：一种是消去全称量词的充分条件假言推理否定后件式，一种是亚氏三段论EAE2式。与同法式考虑的因素相似，异法式虽然可以用形式化符号表述，但其内在的对概念间的关系的研究和对事实经验的要求是无法用量化的公式体现的。