前者，以大夫之礼节葬马。
后者，以君王之礼节葬马。
若前者可行，则后者可行。
但后者不可行。
故前者不可行。
而楚王认为，前者可行。
因此，得到一个矛盾命题。否定了前者。
这个故事，归谬法（即反证法）。

在逻辑学形式上，归谬法与反证法是一样的。
假设“A”，推出“B，非B”。再推出“非A”。
假设“非A”，推出“B，非B”。再推出“A”。

优孟意欲向楚庄王论证论题：“不该用重礼葬马”
先提出反论题：“该用重礼葬马”。推出：各诸侯都知道“大王贱人而贵马”。而这种结果对楚庄王来说是十分危险的，所以这个反论题为假。既然“该用重礼葬马为假”，那么“不该用重礼葬马”就为真的了。
这么理解的话就是反证法是吧？
所以这段文字，既可以用归谬解释，也可以用反证解释
@闫六二

可以从二个角度分析，优孟的，楚王的。从楚王角度看。
若可以大夫葬马，则可以君王葬马。若君王葬马，则楚王丢脸。
非、楚王丢脸。所以，不可大夫葬马。