A First Journey through Logic