Determinado técnico de atletismo considera seus atletas como bons ou maus, em função de serem fumantes ou não. Analise as proposições que se seguem no contexto da lógica dos predicados.

I - Nenhum fumante é bom atleta.

II - Todos os fumantes são maus atletas.

III - Pelo menos um fumante é mau atleta.

IV - Todos os fumantes são bons atletas.

As proposições que formam um par tal que uma é a negação da outra são: