vad är definitionen av logik