甲乙丙三个孩子被怀疑偷吃了厨房的馅饼,厨师追问时,甲说，我没偷，乙说，甲在说谎，丙说，乙在说谎，

是甲偷吃的。

假设甲说的是实话，甲没有偷吃馅饼，那乙说的就是谎话，丙说乙在说谎，那丙说的就是实话，那就是甲和丙说的都是实话，而他们只有一个人说了实话，所以有所矛盾假设不成立。如果是甲偷的，则甲在撒谎，乙说的是实话，丙也在撒谎，所以是甲偷的馅饼。

假言推理：

以假言判断为前提的推理。假言推理分为充分条件假言推理和必要条件假言推理两种。充分条件假言推理的基本原则是：小前提肯定大前提的前件，结论就肯定大前提的后件；小前提否定大前提的后件，结论就否定大前提的前件。

推理过程必须符合正确的逻辑形式和规则。演绎推理的正确与否首先取决于大前提的正确与否，如果大前提错了，结论自然不会正确。