Inzicht en logica