Em um debate sobre lógica de argumentação, quatro estudantes apresentaram as seguintes inferências, todas baseadas em regras de inferência válidas:

• I. Se o sistema está seguro, então os dados são criptografados. O sistema está seguro. Logo, os dados são criptografados.
• II. Se o sistema está seguro, então os dados são criptografados. Os dados não são criptografados. Logo, o sistema não está seguro.
• III. Se o sistema está seguro, então os dados são criptografados. Os dados são criptografados. Logo, o sistema está seguro.
• IV. Se o sistema está seguro, então os dados são criptografados. O sistema não está seguro. Logo, os dados não são criptografados.

Considerando as regras de inferência da lógica proposicional, quais dessas inferências são válidas?