问答题
证明A↔B╞A∧B逻辑蕴含式或推理不成立。
问答题 用三种不同方法证明A→（B→C）（A→B）→（A→C）逻辑等价式和逻辑蕴涵式。
问答题 用三种不同方法证明A→（A→B）A→B逻辑等价式和逻辑蕴涵式。
问答题 用三种不同方法证明A→（B→C）BB→（A→C）逻辑等价式和逻辑蕴涵式。
