logic intro