Considere que seja verdadeira a seguinte proposição: "Se todos os triângulos são isósceles, então existe um círculo de raio R". Nesse caso, também é verdadeira a proposição "Se nenhum dos círculos é de raio R, então existe um triângulo que não é isósceles".

Para a instalação do Microsoft Office 2007 em um computador com o sistema operacional Windows XP, não há necessidade de ter o service pack 2 (SP2) instalado.

No Linux, estão disponíveis o bash — o shell padrão —, o Korn ksh, o C tsch e o zch. Por terem a mesma finalidade, os diferentes tipos de shell podem usar comandos com sintaxe diferentes.

Em sistemas Intel, opções como o LILO (Linux loader) e o GRUB (grand unified bootloader) permitem a instalação do Linux em um computador que possua outro sistema operacional instalado, tal que o usuário tenha disponível um sistema de inicialização dupla.

A instalação do Windows XP requer, como configuração mínima de disco, uma partição formatada com espaço de 650 MB e sistemas de arquivo FAT32.

Uma fonte de alimentação fornece tensões contínuas, geradas a partir da tensão alternada da rede elétrica. Se a carga exigir alta potência da fonte, as diferentes saídas podem sofrer variações e provocar danos ou operação intermitente em diversos componentes do computador.

Caso determinada urna apresente resultado diverso do número de votantes, o juiz presidente da junta eleitoral será obrigado a recontá-la.

Pablo teria impedimento apenas aos cargos de presidente e vice-presidente, por serem exclusivos de brasileiro nato.

Pablo, embora não seja brasileiro nato, pode candidatar-se a deputado federal, pois a condição de elegibilidade para o referido cargo é ser brasileiro.