邏輯解題二
英、花、哥、文、瑰、瑜六個寶貝黨原本約好要一起去美國的
卻在臨出國前，鬧得有些彆扭
當時大家有三個默契：
１如果不是小英跟小花都去，小哥跟小文就都不去
２如果小英、小花跟小哥都去，小瑰就不去
３如果小瑰跟小瑜都不去，小花就不去
由此可見：除非小瑜去，否則小哥就不去
請問：這是一個有效推論嗎？
如果您覺得它有效，請逐步證明它
否則請您舉出一個反例
1.∼（Ａ．Ｂ）＞∼Ｃ．∼Ｄ pr.
2.（（Ａ．Ｂ）．Ｃ）＞∼Ｅ pr.
3.（∼Ｅ．∼Ｆ）＞∼Ｂ pr.
－－－－－－－－－－－－－－
／∴∼Ｆ＞∼Ｃ
4. Ｃ Assp.(C.P.)
5. ＣＶＤ Add.4
6. ∼∼（ＣＶＤ） D.N.5
7. ∼（∼Ｃ．∼Ｄ） DeM.6
8. Ａ．Ｂ M.T.7
9. （Ａ．Ｂ）．Ｃ Conj.8,4
10. ∼Ｅ M.P.2,9
11. Ｂ Simpl.8
12. Ｂ＞∼（∼Ｅ．∼Ｆ） Contrap.3
13. ∼（∼Ｅ．∼Ｆ） M.P.12,11
14. ＥＶＦ DeM.13
15. Ｆ D.S.14,10
16.Ｃ＞Ｆ C.P.4-16