18、解:(1)取BC中点O,连接SO、AO,
所以 …………8分
∵为真命题.
∴p与q都为真命题.
命题q等价于即 ………………6分
得
17、解:命题p等价于即………………3分
上式显然成立,所以成立.
即证: