Considere os seguintes argumentos lógicos:

A1. Todos os patrocinenses são mineiros. João não é mineiro. Logo, João não é patrocinense.

A2. Nenhuma pessoa vitoriosa dorme até tarde. Jéssica não dorme até tarde. Logo, Jéssica é uma pessoa vitoriosa.

A respeito desses argumentos lógicos, é correto afirmar que: