什么是正确的推理形式? ■直观上,正确的推理应该保证:如果前提 正确,则结论也应该正确。 定义12设α1,a2,…,Onβ都是命题形 式称推理“α1,(2,…,a推出β”是有效 的,如果对a1,α2,…,αnβ出现的命 题变元的任一指派,若1,α2,…,αn都 真,则β亦真;否则,称“α1,2,…,an 推出β”是无效的或不合理的什么是正确的推理形式？ „ 直观上，正确的推理应该保证：如果前提 正确，则结论也应该正确。 „ 定义12 设 α 1 ， α 2 ， … ， α n, β都是命题形 式 ,称推理 “ α 1 ， α 2 ， … ， α n推出 β ” 是有效 的，如果对 α 1 ， α 2 ， … ， α n, β中出现的命 题变元的任一指派, 若 α 1 ， α 2 ， … ， α n 都 真, 则 β亦真；否则，称 “ α 1 ， α 2 ， … ， α n 推出 β ” 是无效的 或不合理的