Explicação da lógica proposicional, usando o mundo do wumpus para ilustrar.