LOGICA E PROBLEMI DI LOGICA. Un’inferenza è una successione di n proposizioni tale che se le prime n – 1 proposizioni fossero vere, allora la n-ma proposizione.
