1 . 下列说法或运算正确的是（       ）

A．

B．用反证法证明“一个三角形至少有两个锐角”时需设“一个三角形没有锐角”

C．“，”的否定形式为“，”

D．直线不可能与圆相切

2 . 下列说法中，正确的有_________（填序号）.
①“”是“方程表示椭圆”的必要而不充分条件；
②若：，则：；
③“，”的否定是“，”；
④若命题“”为假命题，则命题一定是假命题；
⑤是直线：和直线：垂直的充要条件.