Um professor elaborou um exercício pedindo aos alunos para deduzirem a validade de um argumento em lógica proposicional. Seguem as etapas que foram descritas.

I. Construir a tabela-verdade das premissas e da conclusão.
II. Traduzir o argumento da linguagem natural para proposições formais.
III. Identificar premissas e conclusão no texto.
IV. Comparar linhas da tabela para verificar validade.

Qual é a ordem correta de execução?