利用给出的符号或变项为下面的论证构造形式证明。 示例...

利用给出的符号或变项为下面的论证构造形式证明。 示例：若物价高（p），则工人生活就苦（q）；或许是物价高，或许存在物价控制（r）；若存在物价控制，就不会通货膨胀（s）；现在通货膨胀；因此，工人生活苦。 证明：按照题中所设定的符号，这个推理的推理过程及其所运用的推理形式可以示意如下： （1）(p→q) 前提 （2）p⋁r 前提 （3）r→﹁s 前提 （4）s 前提 （5）﹁r （3）、（5），充分条件推理的否定后件式 （6）p （2）、（5），相容选言推理的否定肯定式 （7）q （1）、（6），充分条件推理的肯定前件式 即（(p→q)⋀(p⋁r)⋀(r→¬s)∧s)⊢q 1、对待外国科学文化，或是一概排斥（p），或是一概照搬（q），或是批判吸收（r）；如果一概排斥，就会远远落在后面（s）；而我们一定要迎头赶上。如果一概照搬，我们就会变成帝国主义的附庸（t），而我们的目标是建立自主的社会主义国家。 2、如果日用品短缺日益严重（p），则物价上涨（q）。如果财政部门改组（r），则财政管制将不再继续（﹁s）。如果通货膨胀的威胁继续存在（t），则财政管制将继续下去。如果生产过剩（u），则物价不会上涨。或者生产过剩，或者财政部门改组。因而，或者日用品短缺不再继续发展，或者通货膨胀的威胁不再继续存在。