Definição de continuidade duma função num ponto como exemplo dum caso em que aparecem quantificações múltiplas  (para todo, existe, para todo). Demonstração de que a função f(x) = 4x+1 é contínua em todos os pontos. A forma direta de demonstrar uma asserção existencial é exibir uma testemunha. Se a, b, e c são números reais, o primeiro não nulo, então a equação ax+b=c tem solução. Demonstra-se este facto dizendo que (c-b)/a é solução e verificando que assim é. Exibe-se, pois uma testemunha (solução).