问答题
用真值表或等价演算证明下列蕴含式：¬q∧（p→q）=>¬p
问答题 设f：X→Y，A，B为Y的子集，证明：f-1（A-B）=f-1（A）-f-1（B）。
问答题 设f：X→Y，A，B为Y的子集，证明：f-1（A∩B）=f-1（A）∩f-1（B）。
问答题 用真值表或等价演算证明下列蕴含式：p∧（p→q）=>q
