“如果我有一千万，我就能买一栋房子。我有一千万吗？没有。所以我仍然没有房子”，这段议论中包含有一个演绎推理，其推理形式可用公式表示为（）。