将下面命题符号化,并构造推理证明: 所有有理数是实数,有些有理数是整数,所以有些实数是整数。

命题“2是偶数或-3是负数”的否定命题是__________________。

设P:明天下雪,Q:我去滑雪,R:我在家里读书,S:我在家里看电视。则“若明天下雪,我去滑雪,否则就在家里读书或者看电视”表示为_____________________________。

设S(x):x是人,G(x):x会思考,则命题“人都会思考”可符号化为___________。

设论域是全体人类，F(x)：x能呼吸，要求只能使用存在量词，命题“所有人都能呼吸”可符号化为_________。

含有n个命题变元的命题公式，共有_________组指派。

命题公式(P→(Q⋀R))的成真指派为___________,成假指派为______________。

(P⟺ (Q→R))不是合式公式,原因是__________________。

设论域为整数集,命题∀x∃y(x-y=6)的真值为______________。

命题公式P⋁Q⋁¬R的成假赋值为______________。