逻辑推理中有三种方式：演绎、归纳和溯因。给定前提、结论和规则，而前提导致结论，例如：