3.1推理形式结构 豪 口定理:{A,A}卡B当且仅当 A∧.A→B为重言式 证明必要性:任意v不会出现A∧A为真且 B为假的情况,所以v(A…A→B)=T 充分性:任意vV(A^/A→B)=T 则或者:A∧.A和B同时为T 或者:A∧A为假 所以{A,A}B 66 ❑定理：{A1,…,Ak} ⊨ B 当且仅当 A1…Ak →B 为重言式 证明 必要性：任意v, 不会出现A1…Ak 为真且 B为假的情况，所以v(A1…Ak →B)=T 充分性：任意v, v(A1…Ak →B)=T 则或者： A1…Ak 和B同时为T 或者： A1…Ak 为假 所以{A1,…,Ak} ⊨ B 3.1 推理形式结构