问答题
用三种不同方法证明A→（A→B）A→B逻辑等价式和逻辑蕴涵式。
问答题 用三种不同方法证明A→（B→C）BB→（A→C）逻辑等价式和逻辑蕴涵式。
问答题 用三种不同方法证明A↔B（A∧B）∨（￢A∧￢B）逻辑等价式和逻辑蕴涵式。
问答题 不用真值表，用带入、替换原理证明：I8，I9.
A→B逻辑等价式和逻辑蕴涵式。