[Usiamo A e B al posto di alfa e beta]

A /\ B   si rappresenta (con implicazione e negazione)
come not (A -> not B)
[evitiamo di mettere not not A poiche' sappiamo che
not not A e' equivalente ad A]

Quindi dobbiamo dimostrare che la regola

 not (A -> not B)
-----------------
       A

e' derivabile.
Questo si fa attraverso la seguente derivazione:


                         [A] 1   [not A] 2
                      ----------------------
                            bottom
                         ----------
                            not B
                       ---------------- [1]
  not (A -> not B)         A -> not B
-----------------------------------------
                   bottom
                ------------ [2]
                     A