t: (~p ∧ (p → q)) → (~r ∨ (p ↔ r))s: Apenas as mulheres pode...

t: (~p ∧ (p → q)) → (~r ∨ (p ↔ r))

s: Apenas as mulheres podem projetar as turbinas dos aviões.

Sabendo que p, q e r são proposições simples e considerando as proposições acima, julgue o item.

“Os homens não podem projetar as turbinas dos aviões” é uma conclusão válida da proposição s.