推理的形式结构 定义若对于每组赋值,A1A2…入Ak均为假,或 当A1∧42^∧4为真时,B也为真,则称由A1,42,,Ak 推B的推理正确,否则推理不正确(错误) “A41,A2,…,4k推B”的推理正确 当且仅当A142^,,∧Ak-B为重言式 推理的形式结构:A142A…^4k→>B或 前提 1542 k 结论:B 若推理正确,则记作:A1A2,,4→B3 推理的形式结构 定义 若对于每组赋值，A1A2… Ak 均为假，或 当A1A2…Ak为真时,B也为真, 则称由A1 ,A2 ,…, Ak 推B的推理正确 , 否则推理不正确（错误）. “A1 , A2 , …, Ak 推B” 的推理正确 当且仅当 A1A2…Ak→B为重言式. 推理的形式结构: A1A2…Ak→B 或 前提： A1 , A2 , … , Ak 结论： B 若推理正确，则记作：A1A2…AkB