A “Se uma rua não tem iluminação pública, então não é rua da cidade de Vitória”.
B “Se uma rua tem iluminação pública, então é rua da cidade de Vitória”.
C “Se uma rua tem iluminação pública, então não é rua da cidade de Vitória”.
D “Se não é rua da cidade de Vitória, então não tem iluminação pública”.
E “Se não é rua da cidade de Vitória, então tem iluminação pública”.