O documento discute a influência da lógica matemática nas obras de Lewis Carroll, notadamente no livro "Alice no País das Maravilhas". Apresenta brevemente a história da lógica, os problemas lógicos no livro e a inspiração de Carroll na lógica simbolista de Boole. Também sugere atividades e links relacionados ao tema.