Analise as seguintes afirmativas sobre estruturas lógicas e diagramas lógicos:

I.Em uma proposição lógica, a negação de uma afirmação sempre inverte seu valor lógico. Se a afirmação é verdadeira, sua negação será falsa, e vice-versa.
II.O diagrama de Venn é uma ferramenta útil para visualizar a relação entre diferentes conjuntos e pode ser usado para resolver problemas envolvendo operações com conjuntos.
III.O princípio da regressão ou reversão afirma que, se uma proposição lógica leva a uma contradição, então a proposição original é falsa, o que é conhecido como prova por contradição.
IV.Em uma sequência aritmética, a diferença entre qualquer dois termos consecutivos é sempre variável e pode mudar ao longo da sequência.

Assinale a alternativa correta: 

Um grupo de 5 pesquisadores participará de um simpósio, e uma comissão de 3 desses pesquisadores deve ser formada para apresentar o trabalho em plenário. Quantas comissões diferentes podem ser formadas a partir desse grupo?