Construa uma prova formal de validade para os seguintes argumentos:

Nenhum dos manifestantes foi ferido. Alguns manifestantes não enfrentaram a repressão. Assim, nenhum dos que enfrentaram a repressão ficou ferido.

Todos os jogadores trouxeram contrabando. Todo contrabandista desobedece à Lei. Se alguém desobedece à Lei, deve ser punido. Mário é jogador. Portanto, Mário será́ punido.

e) Nenhum docente é rico. Não há político que não seja rico. Por- Santo, os docentes nunca São políticos.