问答题 称由前提A1，A2，...，Ak推出结论B的推理正确，则A1∧A2∧...∧Ak→B应为下列4个中的哪一个？ （1）重言式或可满足式 （2）可满足式 （3）矛盾式 （4）重言式

问答题 ρ12

问答题 ρ1-ρ2