hva er definisjonen på logikk