填空题 “蝙蝠不是鸟，因为蝙蝠是哺乳动物，而鸟不是哺乳动物”，这个三段论的格和式是（）。

填空题 “戒烟毫无意义。因为或者你将死于因吸烟引起的癌症，或者你将不死于因吸烟引起的癌症。如果你将死于因吸烟引起的癌症，那么，戒烟就毫无意义；如果你将不是死于因吸烟引起的癌症，那么，戒烟也毫无意义。”该段议论运用了一个演绎推理，其推理形式可用符号公式表示为（）

填空题 “人固有一死，因此你也难免一死”，该推理的推理依据是（）。