拉基雅是杀害自己丈夫的凶手吗？

老律师曼索尔证明拉基雅不是凶手使用了反证法。他假定了一个矛盾命题：拉基雅是凶手。再运用充分条件假言推理否定后件式，得出“拉基雅是凶手”为假，然后根据排中律，确定“拉基雅不是凶手”为真。(https://www.daowen.com)