Procedura che calcola i numeri di Fibonacci, ossia una successione tale che ogni numero รจ la somma dei due precedenti, partendo da 0 e 1, in maniera ricorsiva
Struttura ad albero che descrive l'espressione logica -p -> q v -p, ossia ((not-p) implica (q or not-p)). Essa consiste negli elementi -p, ->, q, V, -p, indicati con i rettangoli