hvad er definitionen af logik