A Ú C) (В ® ((A Ù B) Ú C)) дедукция

10 · (A Ú C) (С ® ((A Ù B) Ú C)) (почему ?!)

11 · (A Ú C) ((В ® ((A Ù B) Ú C)) ® ((С ® ((A Ù B) Ú C)) ®

® ((B Ú C) ® ((A Ù B) Ú C))))(Д3)

12 · (A Ú C) ((С ® ((A Ù B) Ú C)) ® ((B Ú C) ® ((A Ù B) Ú C))) МР(9, 11)

13 · (A Ú C) ((B Ú C) ® ((A Ù B) Ú C))МР(10, 12)

14 · (A Ú C) Ù (B Ú C) (A Ú C) (почему ?!)

15 · (A Ú C) Ù (B Ú C) ((B Ú C) ® ((A Ù B) Ú C)) силлогизм (13, 14)

16 ·(A Ú C) Ù (B Ú C) (B Ú C) (почему ?!)

17 · (A Ú C) Ù (B Ú C) ((A Ù B) Ú C) МР(15, 16)