(a) vedi testi

(b) 
Simile all'esempio all'inizio di pag. 6 di [AU], aggiungendo pero'
un'applicazione della regola di (/\I) per passare da A/\B a (A/\B)\/D)

(c) vedi testi