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: