要证明C是一组前提A1，A2，…，An 的有效结论，只需证明A1∧A2∧…∧An→C为重言式
举一反三
- 称由前提A1、A2、......、Ak推出结论B的推理有效，则A1∧A2∧......∧Ak→B应为下列4个中哪一个？ A: 重言式或可满足式 B: 矛盾式 C: 可满足式 D: 重言式
- 向量组1:a1,a2,a3和向量组2:a1,a2,a4的秩为2与3.求证向量组3:a1,a2,a3+a4的秩为3.
- S型曲线相邻的两个缓和曲线参数的最佳比例关系为（） A: A1: A2≤1:1 B: A1:A2≤1:1.5 C: A1:A2≤1:2 D: A1:A2≤1:3
- 设有向量组a1=(1，-1，2，4)，a2=(0，3，1，2)，a3=(3，0，7，14)，a4=(1，-2，2，0)，a5=(2，1，5，10)，则该向量组的极大线性无关组是()。 A: a1，a2，a3 B: a1，a2，a4 C: a1，a2，a5 D: a1，a2，a4，a5
- 已知R(A1,A2,A3)=2,R(A2,A3,A4)=3证明：A1能由A2,A3线性表示；A4不能由A1,A2,A3线性表示