A ® B) (Ú ) силлогизм
19 · (
Ú 
) 
(Ú B) (?!)
20 · (A ® B) (Ú B) силлогизм (18, 19)
1 · , A, 
A 20
2 · , A, 20
3 · , A приведение к противоречию
4 · (
® B) (О2)
5 · 
, A B силлогизм (3, 4)
6 · (A ® B) дедукция
19 · (Ú ) (Ú B) (?!)
20 · (A ® B) (Ú B) силлогизм (18, 19)
1 · , A, A 20
2 · , A, 20
3 · , A приведение к противоречию
4 · (® B) (О2)
5 · , A B силлогизм (3, 4)
6 · (A ® B) дедукция