①集合S={Φ},集合P=[1,3].能说x∈S是x∈P的充分不必要条件吗?②“若p则q”形式的命题有否定形式吗?若p则非q?S是空集，抱歉打错了失误如果p是全称命题，需要改成特称命题吗？

Question

① 集合S={Φ},集合P=[1,3].能说x∈S 是x∈P的充分不必要条件吗?
② “若p则q” 形式的命题有否定形式吗?若p则非q?
S是空集，抱歉打错了 失误
如果p是全称命题，需要改成特称命题吗？

Answer 1

① 集合S={Φ},集合P=[1,3].能说x∈S 是x∈P的充分不必要条件吗?
集合S有1个元素是Φ,是一个集合.
而P集合是一个区间,那P中的元素是数,因此题目说法是不正确的.
② “若p则q” 形式的命题有否定形式吗?若p则非q?
否定形式应该是:
"若非q则非p"
这个命题和原命题是等价的,这才可以成为原命题的否定形式