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

Usiamo [n] a fianco di una regola per indicare che scarichiamo
l'assunzione n.



      not not A     [not A] 1
     -------------------------
            bottom   
          --------- [1]
              A


       

  1 [not A]       A
 --------------------
        bottom
      ---------- [1]
       not not A