注记 推理形式是否有效与前提中命题形式的 排列次序无关。即: n若“a1,(2,…,an推出β”是有效的,则 对1,2,…,n的任一个排列1i2…,in a,a2推出”也是有效的。 ■所以前提是一个集合I,而不是一个序列。 若“α1;,02,…,n推出β”是有效的,则 记为rβ注记 „ 推理形式是否有效与前提中命题形式的 排列次序无关。即： „ 若“α1，α2，…，αn推出β”是有效的，则 对1，2，…，n的任一个排列i1, i2, …, in, “ 推出β”也是有效的。 „ 所以前提是一个集合Γ，而不是一个序列。 „ 若“α1，α2，…，αn推出β”是有效的，则 记为Γ╞ β。 n αi αi αi , , , 1 2 L