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