问答题 写出下列两个推理形式的括号内①和②代表的符号，使之成为有效的三段论。