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: