我用的方法比較偏邏輯方面的証法，你參考看看
因為我不太會用打的，所以符號的部份用中文代替
因為A-B包含於C
對所有元素x屬於A-B
則可知 x屬於A and x不屬於B ---> x屬於C .....已知1
今任給一個元素y屬於A-C
則y屬於A y不屬於C
由y不屬於c
可從已知1得知
y不屬於A或是y屬於B (p->q 與~q->~p邏輯等價)
又因為y屬於A所以知y屬於B
故得証
反向亦得証
※ 引述《mqazz1 (無法顯示)》之銘言：
: Let A, B, C 包含於 U
: Prove that (A-B)包含於C if and only if (A-C)包含於B
: 請問這個式子該怎麼證明呢?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 112.104.218.214