Em pseudocódigo, quais são as estruturas de controle que dependem de uma condição lógica na sua sintaxe (forma de escrever) para sua execução?