sitema di logica