qual è la definizione di logica