Atps logica matematica etapa 2 e 3

ETAPA 2:
“Se Rodolfo é mais alto que Guilherme, então Heloísa e Flávia têm a mesma altura. Se Heloísa e Flávia têm a mesma altura, então Alexandre é mais baixo que Guilherme. Se Alexandre é mais baixo que Guilherme, então Rodolfo é mais alto que Heloísa. Ora, Rodolfo não é mais alto que Heloísa”.
a) Se Rodolfo é mais alto que Guilherme
b) Heloisa e Flávia tem a mesma altura
c) Alexandre é mais baixo que Guilherme
d) Rodolfo é mais alto que Heloísa
e) Rodolfo não é mais alto que Heloísa
Fórmula principal:
A=>B=>C=>D=>E
No texto, há uma situação de condição para as alternativas A, B, C e D estarem corretas, dizendo que, SE Rodolfo é mais alto que Guilherme, só então as outras alternativas estariam corretas, e então o Rodolfo também seria mais alto que a Heloísa, porém a uma afirmação no texto que diz que Rodolfo NÃO é mais alto que Heloísa, podendo concluir que apenas a alternativa E estaria CORRETAS e as demais todas FALSAS.

Analisando as afirmações: a) Rodolfo não é mais alto que Guilherme(verdadeiro), e Heloísa e Flávia não têm a mesma altura;(verdadeiro) b) Rodolfo é mais alto que Guilherme(falso), e Heloísa e Flávia têm a mesma altura;(falso) c) Rodolfo não é mais alto que Flávia(falso), e Alexandre é mais baixo que Guilherme;(falso) d) Rodolfo e Alexandre são mais baixos que Guilherme;(falso) e) Rodolfo é mais alto que Guilherme(falso), e Alexandre é mais baixo que Heloísa.(falso)
Apenas a alternativa A é válida, pois, devido a afirmação de que Rodolfo NÃO é mais alto que Heloísa, podemos concluir que todo o resto que diz no texto é FALSO, então as letras atribuídas para esse passo seria OC.

ETAPA 3
Pseudocódigo:
se não ((valor1<valor2) ou ímpar(número)) ou (não(valor1<valor2) e ímpar(número)) então proposição1 caso contrário proposição2 fim se
Reescrevendo o pseudocódigo de forma mais simples usando lógica:
→ ¬((valor1<valor2) V ímpar(número))
V (¬(valor1<valor2)˄ ímpar(número))→